Publications

Publications

Key Confirmation in Key Exchange: A Formal Treatment and Implications for TLS 1.3
Fischlin, Marc; Günther, Felix; Schmidt, Benedikt; Warinschi, Bogdan
37th IEEE Symposium on Security and Privacy (S&P 2016)
[Conference Proceedings]


"E-Mail made in Germany" Untersuchung der Sicherheitsbeurteilung von E-Mail-Nutzern
Budurushi, Jurlind; Hilt, Annika; Volkamer, Melanie
Datenschutz und Datensicherheit - DuD, p.300-304
[Journal Article]


High-Performance and Lightweight Lattice-Based Public-Key Encryption
Buchmann, Johannes; Göpfert, Florian; Güneysu, Tim; Oder, Tobias; Pöppelmann, Thomas
IoTPTS '16 - 2nd ACM International Workshop on IoT Privacy, Trust, and Security
[Conference Proceedings]


Creating Cryptographic Challenges Using Multi-Party Computation: The LWE Challenge
Buchmann, Johannes; Büscher, Niklas; Katzenbeisser, Stefan; Krämer, Juliane; Micciancio, Daniele; Siim, Sander; Vredendaal, Christine van; Walter, Michael; Göpfert, Florian
ASIAPKC 16 - 3rd ACM International Workshop on ASIA Public-Key Cryptography
[Conference Proceedings]


StubDroid: automatic inference of precise data-flow summaries for the android framework
Arzt, Steven; Bodden, Eric
ICSE '16 Proceedings of the 38th International Conference on Software Engineering, p.725-735
[Conference Proceedings]


TORPEDO: TOoltip-poweRed Phishing Email DetectiOn
Volkamer, Melanie; Renaud, Karen; Reinheimer, Benjamin
31st International Conference on ICT Systems Security and Privacy Protection (IFIP SEC), p.161-175
[Conference Proceedings]


Homomorphic Signature Schemes - A survey
Traverso, Giulia; Demirel, Denise; Buchmann, Johannes
[Book]


Strategy Without Tactics: Policy-Agnostic Hardware-Enhanced Control-Flow Integrity
Sullivan, Dean; Arias, Orlando; Davi, Lucas; Larsen, Per; Sadeghi, Ahmad-Reza; Jin, Yier
53rd Design Automation Conference (DAC)
[Conference Proceedings]


Teaching Phishing-Security: Which Way is Best?
Stockhardt, Simon; Reinheimer, Benjamin; Volkamer, Melanie; Mayer, Peter; Kunz, Alexandra; Rack, Philipp; Lehmann, Daniel
31st International Conference on ICT Systems Security and Privacy Protection (IFIP SEC), p.135-149
[Conference Proceedings]


GarbledCPU: A MIPS Processor for Secure Computation in Hardware
Songhori, Ebrahim; Zeitouni, Shaza; Dessouky, Ghada; Schneider, Thomas; Sadeghi, Ahmad-Reza; Koushanfar, Farinaz
DAC '16: Proceedings of the 53rd Annual Design Automation Conference, p.73:1-73:6
[Conference Proceedings]


An Unconditionally Hiding Auditing Procedure for Multi-Party Computations
Schabhüser, Lucas; Demirel, Denise; Buchmann, Johannes
IACR - Cryptology ePrint Archive
[Journal Article]


SecIVo: a quantitative security evaluation framework for internet voting schemes
Neumann, Stephan; Volkamer, Melanie; Budurushi, Jurlind; Prandini, Marco
>Annals of Telecommunications, p.1-16
[Journal Article]


A vectorized, cache efficient LLL implementation
Mariano, Artur; Correia, Fabio; Bischof, Christian
VECPAR 2016 - 12th International Meeting on High Performance Computing for Computational Science
[Conference Proceedings]


Subversive-C: Abusing and Protecting Dynamic Message Dispatch
Lettner, Julian; Kollenda, Benjamin; Homescu, Andrei; Larsen, Per; Schuster, Felix; Davi, Lucas; Sadeghi, Ahmad-Reza; Holz, Thorsten; Franz, Michael
USENIX Annual Technical Conference (ATC)
[Conference Proceedings]


Coercion-resistant Proxy Voting
Kulyk, Oksana; Neumann, Stephan; Marky, Karola; Budurushi, Jurlind; Volkamer, Melanie
31st International Conference on ICT Systems Security and Privacy Protection - IFIP SEC 2016, p.3-16
[Conference Proceedings]


Survey of Software Protection with Minimal Hardware
Herzberg, Amir; Shulman, Haya; Waidner, Michael
International Conference on Software Science, Technology and Engineering (SWSTE)
[Conference Proceedings]


Regulating ARM TrustZone Devices in Restricted Spaces
Brasser, Ferdinand; Ganapathy, Vinod; Iftode, Liviu; Kim, Daeyoung; Liebchen, Christopher; Sadeghi, Ahmad-Reza
14th ACM International Conference on Mobile Systems, Applications, and Services (MobiSys)
[Conference Proceedings]


Towards Automated Measurements of Internets Naming Infrastructure
Borgwart, Andreas; Shulman, Haya; Waidner, Michael
International Conference on Software Science, Technology and Engineering (SWSTE)
[Conference Proceedings]


Things, Trouble, Trust: On Building Trust in IoT Systems
Abera, Tigist; Asokan, N.; Davi, Lucas; Koushanfar, Farinaz; Praverd, Andrew; Tsudik, Gene; Sadeghi, Ahmad-Reza
53rd Design Automation Conference (DAC)
[Conference Proceedings]


Profiling the Strength of Physical-Layer Security: A Study in Orthogonal Blinding
Zheng, Yao; Schulz, Matthias; Lou, Wenjing; Hou, Thomas; Hollick, Matthias
Proceedings of the 9th ACM Conference on Security & Privacy in Wireless and Mobile Networks (WiSec 2016), p.21-30
[Conference Proceedings]


SyncProf: detecting, localizing, and optimizing synchronization bottlenecks
Yu, Tingting; Pradel, Michael
ISSTA 2016 Proceedings of the 25th International Symposium on Software Testing and Analysis, p.389-400
[Conference Proceedings]


ARROW: automated repair of races on client-side web pages
Wang, Weihang; Zheng, Yunhui; Liu, Peng; Xu, Lei; Zhang, Xiangyu; Eugster, Patrick
ISSTA 2016 Proceedings of the 25th International Symposium on Software Testing and Analysis, p.201-212
[Conference Proceedings]


Boomerang: Demand-Driven Flow-Sensitive, Field-Sensitive, and Context-Sensitive Pointer Analysis
Späth, Johannes; Nguyen, Lisa; Ali, Karim; Bodden, Eric
European Conference on Object-Oriented Programming, p.25
[Conference Proceedings]


Boomerang: Demand-Driven Flow-Sensitive, Field-Sensitive, and Context-Sensitive Pointer Analysis
Späth, Johannes; Nguyen Quang Do, Lisa; Ali, Karim; Bodden, Eric
30th European Conference on Object-Oriented Programming (ECOOP 2016), p.22:1
[Conference Proceedings]


DEMO: Using NexMon, the C-based WiFi firmware modification framework
Schulz, Matthias; Wegemer, Daniel; Hollick, Matthias
Proceedings of the 9th ACM Conference on Security & Privacy in Wireless and Mobile Networks (WiSec 2016), p.213-215
[Conference Proceedings]


DEMO: Demonstrating Practical Known-Plaintext Attacks against Physical Layer Security in Wireless MIMO Systems
Schulz, Matthias; Loch, Adrian; Hollick, Matthias
Proceedings of the 9th ACM Conference on Security & Privacy in Wireless and Mobile Networks (WiSec 2016), p.201-203
[Conference Proceedings]


Trust The Wire, They Always Told Me!: On Practical Non-Destructive Wire-Tap Attacks Against Ethernet
Schulz, Matthias; Klapper, Patrick; Hollick, Matthias; Tews, Erik
Proceedings of the 9th ACM Conference on Security & Privacy in Wireless and Mobile Networks (WiSec 2016), p.43-48
[Conference Proceedings]


Far Away and Yet Nearby - A Framework for Practical Distance Fraud on Proximity Services for Mobile Devices (Demo)
Schultes, Tobias; Grau, Markus; Steinmetzer, Daniel; Hollick, Matthias
ACM Conference on Security and Privacy in Wireless and Mobile Networks 2016 (ACM WiSec'16)
[Conference Proceedings]


POSTER: Exploiting Dynamic Partial Reconfiguration for Improved Resistance Against Power Analysis Attacks on FPGAs
Sadeghi, Ahmad-Reza; Dessouky, Ghada
ACM WiSec 2016
[Conference Proceedings]


Supporting Decision Makers in Choosing Suitable Authentication Schemes
Mayer, Peter; Neumann, Stephan; Storck, Daniel; Volkamer, Melanie
International Symposium on Human Aspects of Information Security & Assurance (HAISA 2016), p.67-77
[Conference Proceedings]