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.
European Symposium on Algorithms (ESA) Generalized Graph Packing Problems Parameterized by Treewidth
Theory of Cryptography Conference (TCC) Dimensional eROSion: Improving the ROS Attack with Decomposition in Higher Bases
International Conference on Practice and Theory in Public Key Cryptography (PKC) Public-Algorithm Substitution Attacks: Subverting Hashing and Verification
International Conference on Practice and Theory in Public Key Cryptography (PKC) Intermundium-DL: Assessing the Resilience of Current Schemes to Discrete-Log-Computation Attacks on Public Parameters
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