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.
International Conference on Artificial Intelligence and Statistics (AISTATS) A Unified Computational and Statistical Framework for Nonconvex Low-Rank Matrix Estimation
SCAV Vehicle Platooning Simulations with Functional Reactive Programming
Selected Areas in Cryptography (SAC) ProfilIoT: a machine learning approach for IoT device identification based on network traffic analysis
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.