Publications

Publications

Quantum security analysis of a lattice-based oblivious transfer protocol
Liu, Mo-meng; Krämer, Juliane; Hu, Yu-pu; Buchmann, Johannes
Frontiers of Information Technology & Electronic Engineering, p.1348-1369
[Journal Article]


Adaptive Codebook Optimization for Beam-Training on Off-The-Shelf IEEE 802.11ad Devices
Palacios, Joan; Steinmetzer, Daniel; Loch, Adrian; Hollick, Matthias; Widmer, Joerg
MobiCom 2018 - 24th ACM Annual International Conference on Mobile Computing and Networking
[Conference Proceedings]


Private Function Evaluation with Universal Circuits
Günther, Daniel
29. Workshop der Fachgruppe Kryptographie in der Gesellschaft für Informatik (Kryptotag)
[Conference Proceedings]


CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
Krüger, Stefan; Späth, Johannes; Ali, Karim; Bodden, Eric; Mezini, Mira
32nd European Conference on Object-Oriented Programming (ECOOP 2018), p.10:1-10:27
[Conference Proceedings]


Privacy-Preserving Genomics on a Large Scale
Tkachenko, Oleksandr
29. Workshop der Fachgruppe Kryptographie in der Gesellschaft für Informatik (Kryptotag)
[Conference Proceedings]


Path MTU Discovery Considered Harmful
Göhring, Matthias; Shulman, Haya; Waidner, Michael
ICDCS 2018 - 38th IEEE International Conference on Distributed Computing Systems
[Conference Proceedings]


Practical Experience: Methodologies for Measuring Route Origin Validation
Hlavacek, Tomas; Herzberg, Amir; Shulman, Haya; Waidner, Michael
DSN 2017 - The 47th IEEE/IFIP International Conference on Dependable Systems and Networks
[Conference Proceedings]


Towards Efficient Privacy-Preserving Similar Sequence Queries on Outsourced Genomic Databases
Schneider, Thomas; Tkachenko, Oleksandr
17. Workshop on Privacy in the Electronic Society (WPES’18)
[Conference Proceedings]


Examining Leakage of Access Counts in ORAM Constructions
Karvelas, Nikolaos; Treiber, Amos; Katzenbeisser, Stefan
WPES'18: Proceedings of the 2018 Workshop on Privacy in the Electronic Society, p.66-70
[Conference Proceedings]


Domain Validation ++ for MitM-Resilient PKI
Brandt, Markus; Dai, Tianxiang; Klein, Amit; Shulman, Haya; Waidner, Michael
ACM CCS 2018
[Conference Proceedings]


DÏoT: A Crowdsourced Self-learning Approach for Detecting Compromised IoT Devices
Nguyen, Thien Duc; Marchal, Samuel; Miettinen, Markus; Dang, Minh Hoang; Asokan, N.; Sadeghi, Ahmad-Reza
CoRR
[Journal Article]


OmniShare: Encrypted Cloud Storage for the Multi-Device Era
Asokan, N.; Gröndahl, Tommi; Nguyen, Hoang Long; Nguyen, Thien Duc; Paverd, Andrew; Pendyala, Praveen; Sadeghi, Ahmad-Reza; Stobert, Elizabeth; Tamrakar, Sandeep
IEEE Internet Computing, p.1-1
[Journal Article]


State-Aware Anomaly Detection for Industrial Control Systems
Ghaeini, Hamid Reza; Antonioli, Daniele; Brasser, Ferdinand; Sadeghi, Ahmad-Reza; Tippenhauer, Nils Ole
The 33rd ACM/SIGAPP Symposium On Applied Computing (SAC)
[Conference Proceedings]


The Guard's Dilemma: Efficient Code-Reuse Attacks Against Intel SGX
Biondo, Andrea; Conti, Mauro; Davi, Lucas; Frassetto, Tommaso; Sadeghi, Ahmad-Reza
27th USENIX Security Symposium
[Conference Proceedings]


It’s Hammer Time: How to Attack (Rowhammer-based) DRAM-PUFs
Zeitouni, Shaza; Gens, David; Sadeghi, Ahmad-Reza
Design Automation Conference (DAC) 2018
[Conference Proceedings]


US-AID: Unattended Scalable Attestation of IoT Devices
Ibrahim, Ahmad; Sadeghi, Ahmad-Reza; Tsudik, Gene
37th IEEE International Symposium on Reliable Distributed Systems (SRDS 2018)
[Conference Proceedings]


SCIoT: A Secure and sCalable end-to-end management framework for IoT Devices
Ambrosin, Moreno; Conti, Mauro; Ibrahim, Ahmad; Sadeghi, Ahmad-Reza; Schunter, Matthias
23rd European Symposium on Research in Computer Security (ESORICS 2018)
[Conference Proceedings]


SALAD: Secure and Lightweight Attestation of Highly Dynamic and Disruptive Networks
Kohnhäuser, Florian; Büscher, Niklas; Katzenbeisser, Stefan
Proceedings of the 2018 on Asia Conference on Computer and Communications Security, p.329-342
[Conference Proceedings]


On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks
Lemos, Marcilio O. O.; Dantas, Yuri Gil; Fonseca, Iguatemi E.; Nigam, Vivek
Journal of Logical and Algebraic Methods in Programming, p.45-67
[Journal Article]


On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks
Lemos, Marcilio O. O.; Dantas, Yuri Gil; Fonseca, Iguatemi E.; Nigam, Vivek
Proceedings of the Journal of Logical and Algebraic Methods in Programming (JLAMP), p.45-67
[Journal Article]


How Secure is Green IT? The Case of Software-Based Energy Side Channels
Mantel, Heiko; Schickel, Johannes; Weber, Alexandra; Weber, Friedrich
Proceedings of the 23rd European Symposium on Research in Computer Security (ESORICS)
[Conference Proceedings]


An Evaluation of Bucketing in Systems with Non-Deterministic Timing Behavior
Gil Dantas, Yuri; Gay, Richard; Hamann, Tobias; Mantel, Heiko; Schickel, Johannes
33rd IFIP TC-11 SEC 2018 International Conference on Information Security and Privacy Protection (IFIP SEC)
[Conference Proceedings]


HoneyDrone: a medium-interaction Unmanned Aerial Vehicle Honeypot
Daubert, Jörg; Boopalan, Dhanasekar; Mühlhäuser, Max; Vasilomanolakis, Emmanouil
IEEE/IFIP Workshop on Security for Emerging Distributed Network Technologies, p.1-6
[Conference Proceedings]


An Evaluation of Bucketing in Systems with Non-Deterministic Timing Behavior
Dantas, Yuri Gil; Gay, Richard; Hamann, Tobias; Mantel, Heiko; Schickel, Johannes
[Conference Proceedings]


A Systematic Evaluation of API-Misuse Detectors
Amann, Sven; Nguyen, Hoan Anh; Nadi, Sarah; Nguyen, Tien; Mezini, Mira
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
[Journal Article]


Scalable Private Set Intersection Based on OT Extension
Pinkas, Benny; Schneider, Thomas; Zohner, Michael
ACM Transactions on Privacy and Security (TOPS), p.7:1-7:35
[Journal Article]


Human Factors in Security
Gerber, Paul; Ghiglieri, Marco; Henhapl, Birgit; Kulyk, Oksana; Marky, Karola; Mayer, Peter; Reinheimer, Benjamin; Volkamer, Melanie
Sicherheitskritische Mensch-Computer-Interaktion, p.83-98


Trapped-ion quantum simulation of excitation transport: Disordered, noisy, and long-range connected quantum networks
Trautmann, N.; Hauke, P.
Physical Review A
[Journal Article]


K-Miner: Uncovering Memory Corruption in Linux
Gens, David; Schmitt, Simon; Davi, Lucas; Sadeghi, Ahmad-Reza
25th Annual Network & Distributed System Security Symposium (NDSS)
[Conference Proceedings]


Anatomy of a Vulnerable Fitness Tracking System: Dissecting the Fitbit Cloud, App, and Firmware
Classen, Jiska; Wegemer, Daniel; Patras, Paul; Spink, Tom; Hollick, Matthias
PACM on Interactive, Mobile, Wearable and Ubiquitous Technologies (IMWUT)
[Conference Proceedings]