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.
Medical Image Computing and Computer Assisted Intervention (MICCAI) Automated Detection of Abnormalities in Zebrafish Development
Tools and Algorithms for Construction and Analysis of Systems (TACAS) Synthesis of Universal Safety Controllers
Formal Methods (FM) A Tutorial on Stream-Based Monitoring
Formal Methods (FM) Visualizing Game-Based Certificates for Hyperproperty Verification
Privacy Enhancing Technologies Symposium (PETS) A Comprehensive Study of Privacy Risks in Curriculum Learning
ACM Conference on Computer and Communications Security (CCS)
Advances in Cryptology (CRYPTO) Simple and General Counterexamples for Private-Coin Evasive LWE.
Fuzzing with Fandango - Tutorial and Reference
Theory of Cryptography Conference (TCC) Consensus in the Presence of Overlapping Faults and Total Omission