Publications

Publications

Transforming Out Timing Leaks, More or Less
Mantel, Heiko; Starostin, Artem
Proceedings of the 20th European Symposium on Research in Computer Security (ESORICS 2015) - Part I, p.20
Language: German
[Conference Proceedings]


Extending Helios Towards Private Eligibility Verifiability
Kulyk, Oksana; Teague, Vanessa; Volkamer, Melanie
E-Voting and Identity: 5th International Conference - VoteID 2015, p.57-73
Language: English
[Conference Proceedings]


PASS: An Address Space Slicing Framework for P2P Eclipse Attack Mitigation
Germanus, Daniel; Ismail, Hatem; Suri, Neeraj
InProceedings of the 34th International Symposium on Reliable Distributed Systems, 28.09.2015-01.10.2015, Montreal
Language: German
[Conference Proceedings]


Practical Covert Channels for WiFi Systems
Classen, Jiska; Schulz, Matthias; Hollick, Matthias
IEEE Conference on Communications and Network Security (CNS), p.8
Language: 1
[Conference Proceedings]


The Spy Next Door: Eavesdropping on High Throughput Visible Light Communications
Classen, Jiska; Chen, Joe; Steinmetzer, Daniel; Hollick, Matthias; Knightly, Edward
2nd ACM Workshop on Visible Light Communication Systems, p.6
Language: 1
[Conference Proceedings]


Hide And Seek: Detecting Sensors in P2P Botnets
Böck, Leon; Karuppayah, Shankar; Grube, Tim; Fischer, Mathias; Mühlhäuser, Max
Communications and Network Security (CNS), 2015 IEEE Conference on, p.731-732
Language: German
[Conference Proceedings]


Formal Accountability for Biometric Surveillance: A Case Study
Ta, Vinh-Thong; Butin, Denis; Métayer, Daniel Le
Annual Privacy Forum (APF2015)
Language: German
[Conference Proceedings]


On the Systematic Drift of Physically Unclonable Functions Due to Aging
Schaller, André; Skoric, Boris; Katzenbeisser, Stefan
TrustED, p.15-20
Language: 1
[Conference Proceedings]


PBMC: Symbolic Slicing for the Verification of Concurrent Programs
Saissi, Habib; Bokor, Peter; Suri, Neeraj
Proceedings of the Symposium on Automated Technology for Verification and Analysis, ATVA 2015
Language: German
[Conference Proceedings]


Notions of Deniable Message Authentication
Fischlin, Marc; Mazaheri, Sogol
Proceedings of the 14th ACM Workshop on Privacy in the Electronic Society, p.55-64
Language: German
[Conference Proceedings]


A Cryptographic Analysis of the TLS 1.3 Handshake Protocol Candidates
Dowling, Benjamin; Fischlin, Marc; Günther, Felix; Stebila, Douglas
22nd ACM Conference on Computer and Communications Security (CCS 2015), p.1197-1210
Language: German
[Conference Proceedings]


Automated Synthesis of Optimized Circuits for Secure Computation
Demmler, Daniel; Dessouky, Ghada; Koushanfar, Farinaz; Sadeghi, Ahmad-Reza; Schneider, Thomas; Zeitouni, Shaza
22. ACM Conference on Computer and Communications Security (CCS'15), p.1504-1517
Language: English
[Conference Proceedings]


Performance problems you can fix: a dynamic analysis of memoization opportunities
Della Toffola, Luca; Pradel, Michael; Gross, Thomas R.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, p.607-622
Language: English
[Conference Proceedings]


It's a TRAP: Table Randomization and Protection against Function Reuse Attacks
Crane, Stephen; Volckaert, Stijn; Schuster, Felix; Liebchen, Christopher; Larsen, Per; Davi, Lucas; Sadeghi, Ahmad-Reza; Holz, Thorsten; Sutter, Bjorn De; Franz, Michael
22nd ACM Conference on Computer and Communications Security (CCS)
Language: German
[Conference Proceedings]


Losing Control: On the Effectiveness of Control-Flow Integrity under Stack Attacks
Conti, Mauro; Crane, Stephen; Davi, Lucas; Franz, Michael; Larsen, Per; Liebchen, Christopher; Negro, Marco; Qunaibit, Mohaned; Sadeghi, Ahmad-Reza
22nd ACM Conference on Computer and Communications Security (CCS)
Language: German
[Conference Proceedings]


SEDA: Scalable Embedded Device Attestation
Asokan, N.; Brasser, Ferdinand; Ibrahim, Ahmad; Sadeghi, Ahmad-Reza; Schunter, Matthias; Tsudik, Gene; Wachsmann, Christian
22nd ACM Conference on Computer and Communications Security (CCS)
Language: German
[Conference Proceedings]


Rating Decomposition with Conjoint Analysis and Machine Learning
Volk, Florian; Trüschler, Nadine; Mühlhäuser, Max
CENTRIC 2015: The Eighth International Conference on Advances in Human-oriented and Personalized Mechanisms, Technologies, and Services, p.36-41
Language: German
[Conference Proceedings]


Design Principles for HFEv- based Signature Schemes
Petzoldt, Albrecht; Cheng, Ming-Shing; Yang, Bo-Yin; Chengdong, Tao; Ding, Jintai
ASIACRYPT 2015 - Part I - 21st International Conference on the Theory and Application of Cryptology and Information Security, p.1-24
Language: German
[Conference Proceedings]


On the Optimality of Differential Fault Analyses on CLEFIA
Krämer, Juliane; Kiss, Ágnes; Stüber, Anke
6. International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS'15), p.181-196
Language: English
[Conference Proceedings]


Learning With Errors in the Exponent
Dagdelen, Özgür; Gajek, Sebastian; Göpfert, Florian
18th International Conference on information Security and Cryptology (ICISC) 2015
Language: German
[Conference Proceedings]


jÄk: Using Dynamic Analysis to Crawl and Test Modern Web Applications
Pellegrino, Giancarlo; Tschürtz, Constantin; Bodden, Eric; Rossow, Christian
Research in Attacks, Intrusions, and Defenses. 18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015. Proceedings., p.295-316
Language: German
[Conference Proceedings]


Secure and Efficient Key Derivation in Portfolio Authentication Schemes Using Blakley Secret Sharing
Mayer, Peter; Volkamer, Melanie
Proceedings of the 31st Annual Computer Security Applications Conference, p.431-440
Language: English
[Conference Proceedings]


Detection and Forensics of Domains Hijacking
Borgwart, Andreas; Boukoros, Spyros; Shulman, Haya; Waidner, Michael; Royeen, Carel van
IEEE Global Communications Conference
Language: English
[Conference Proceedings]


IOT: Using Channel State Information for Tamper Detection in the Internet of Things
Bagci, Ibrahim Ethem; Roedig, Utz; Martinovic, Ivan; Schulz, Matthias; Hollick, Matthias
Using Channel State Information for Tamper Detection in the Internet of Things, p.131-140
Language: German
[Conference Proceedings]


Robust 2D face recognition under different illuminations using binarized partial face features: Towards protecting ID documents
Butt, Moazzam; Alkhatib, Wael
International Workshop on Computational Forensics (IWCF) 5, 2012, Tsukuba>
Language: English
[Conference Paper]


Personalized face reference from video: Key-face selection and feature-level fusion
Damer, Naser; Samartzidis, Timotheos; Nouak, Alexander
International Workshop on Face and Facial Expression Recognition from Real World Videos (FFER) 2014, Stockholm>
Language: English
[Conference Paper]


Fuzzy logic and multi-biometric fusion: An Overview
Maul, Fabian; Damer, Naser
International Conference on Pattern Recognition Applications and Methods (ICPRAM) 4, 2015, Lisbon>
Language: English
[Conference Paper]


Werkzeuge zur Messung der datenschutzkonformen Einhaltung des Verarbeitungsstandorts in der Cloud
Jaeger, Bernd; Kraft, Reiner; Selzer, Annika; Waldmann, Ulrich
Gesellschaft für Informatik (Jahrestagung) 45, 2015, Cottbus>
Language: German
[Conference Paper]


Welcome Message from Workshop Organizers: The First International Workshop on Agile Secure Software Development (ASSD 2015)
Röning, J.; Ben Othmane, L.
International Conference on Availability, Reliability and Security (ARES) 10, 2015, Toulouse>
Language: English
[Conference Paper]


Using targeted symbolic execution for reducing false-positives in dataflow analysis
Arzt, S.; Rasthofer, S.; Hahn, R.; Bodden, E.
International Workshop on State Of the Art in Program Analysis (SOAP) 4, 2015, Portland/Or.>
Language: English
[Conference Paper]