Publications
Scientific publications are the most important measure of our academic excellence and impact. In the past years, CISPA researchers have published many papers at scientific top-tier conferences and in prestigious journals. Our publications are listed in our publications database, including a link to the original paper.
ACM ASIA Conference on Computer and Communications Security (AsiaCCS) Towards Formal Security Analysis of Industrial Control Systems
ACM ASIA Conference on Computer and Communications Security (AsiaCCS) IoTScanner: Detecting Privacy Threats in IoT Neighborhoods
IEEE European Symposium on Security and Privacy (EuroS&P) Efficient and Flexible Discovery of PHP Application Vulnerabilities
IEEE European Symposium on Security and Privacy (EuroS&P) A Formal Security Analysis of the Signal Messaging Protocol
Network and Distributed System Security Symposium (NDSS) Towards Implicit Visual Memory-Based Authentication
Software Engineering (SE) Mining Sandboxes for Security - Automatisches Sandboxing für Software-Sicherheit.
SLT Environmentally robust audio-visual speaker identification
Workshop on Usable Security (USEC) EmojiAuth: Quantifying the Security of Emoji-based Authentication
The Journal of Privacy and Confidentiality AnoA: A Framework for Analyzing Anonymous Communication Protocols