Publications

Publications

Efficient Circuit-based PSI via Cuckoo Hashing
Pinkas, Benny; Schneider, Thomas; Weinert, Christian; Wieder, Udi
37. Advances in Cryptology -- EUROCRYPT 2018
[Conference Proceedings]


Invited: Reconciling Remote Attestation and Safety-Critical Operation on Simple IoT Devices
Carpent, Xavier; Eldefrawy, Karim; Rattanavipanon, Norrathep; Sadeghi, Ahmad-Reza; Tsudik, Gene
Design Automation Conference
[Conference Proceedings]


A unified lattice model and framework for purity analyses
Helm, Dominik; Kübler, Florian; Eichberg, Michael; Reif, Michael; Mezini, Mira
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, p.340-350
[Conference Proceedings]


Examining Leakage of Access Counts in ORAM Constructions
Karvelas, Nikolaos; Treiber, Amos; Katzenbeisser, Stefan
crypto day matters: Beiträge vom 29. Kryptotag
[Conference Proceedings]


General State Channel Networks
Dziembowski, Stefan; Faust, Sebastian; Hostakova, Kristina
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, p.949-966
[Conference Proceedings]


FairSwap: How to fairly exchange digital goods
Dziembowski, Stefan; Eckey, Lisa; Faust, Sebastian
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security
[Conference Proceedings]


Parallelizing the Hybrid Lattice Reduction and Meet-in-the-Middle Attack
Wunderer, Thomas; Burger, Michael; Nguyen, Giang Nam
CSE-2018
[Conference Proceedings]


A Detailed Analysis of the Hybrid Lattice-Reduction and Meet-in-the-Middle Attack
Wunderer, Thomas
Journal of Mathematical Cryptology (JMC)
[Journal Article]


Exploring the Performance Envelope of the LLL Algorithm
Burger, Michael; Bischof, Christian; Calotoiu, Alexandru; Wunderer, Thomas; Wolf, Felix
Proceedings: 21st IEEE International Conference on Computational Science and Engineering: CSE 2018
[Conference Proceedings]


Self-Guarding Cryptographic Protocols against Algorithm Substitution Attacks
Fischlin, Marc; Mazaheri, Sogol
2018 IEEE 31st Computer Security Foundations Symposium (CSF), p.76-90
[Conference Proceedings]


Call Graph Construction for Java Libraries
Reif, Michael; Eichberg, Michael; Mezini, Mira
Software Engineering und Software Management 2018
[Conference Proceedings]


A Practical IEEE 802.11ad Research Platform: The Hidden Potential of Off -the-Shelf Devices
Steinmetzer, Daniel; Wegemer, Daniel; Hollick, Matthias
3rd NSF Millimeter-Wave RCN Workshop
[Conference Proceedings]


M-STAR: A Modular, Evidence-based Software Trustworthiness Framework
Alexopoulos, Nikolaos; Habib, Sheikh Mahbub; Schulz, Steffen; Mühlhäuser, Max
[Report, Journal Article]


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]