Send email Copy Email Address

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.

Filter

Year 2025

Conference / Medium

Medical Image Computing and Computer Assisted Intervention (MICCAI) Automated Detection of Abnormalities in Zebrafish Development

Conference / Medium

Tools and Algorithms for Construction and Analysis of Systems (TACAS) Synthesis of Universal Safety Controllers

Conference / Medium

Formal Methods (FM) A Tutorial on Stream-Based Monitoring

Conference / Medium

Formal Methods (FM) Visualizing Game-Based Certificates for Hyperproperty Verification

Conference / Medium

Privacy Enhancing Technologies Symposium (PETS) A Comprehensive Study of Privacy Risks in Curriculum Learning

Conference / Medium

Advances in Cryptology (CRYPTO) Simple and General Counterexamples for Private-Coin Evasive LWE.

Book

Fuzzing with Fandango - Tutorial and Reference

Conference / Medium

Theory of Cryptography Conference (TCC) Consensus in the Presence of Overlapping Faults and Total Omission