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.
CREST Causality Analysis for Concurrent Reactive Systems (Extended Abstract)
International Conference on Computer-Aided Design (ICCAD) SMTSampler: efficient stimulus generation from complex SMT constraints.
Usable Security and Privacy (NDSS Workshop) (USEC) Replication: Do We Snooze If We Can't Lose? Modelling Risk with Incentives in Habituation User Studies
Network and Distributed System Security Symposium (NDSS) REDQUEEN: Fuzzing with Input-to-State Correspondence
Network and Distributed System Security Symposium (NDSS) Adversarial Attacks Against Automatic Speech Recognition Systems via Psychoacoustic Hiding
Network and Distributed System Security Symposium (NDSS) NAUTILUS: Fishing for Deep Bugs with Grammars
Network and Distributed System Security Symposium (NDSS) We Value Your Privacy ... Now Take Some Cookies: Measuring the GDPR's Impact on Web Privacy
Research Handbook on Privacy and Data Protection Law. Values, Norms and Global Politics
Network and Distributed System Security Symposium (NDSS) On the Challenges of Geographical Avoidance for Tor