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 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
ACM Conference on Computer and Communications Security (CCS)
Advances in Cryptology (CRYPTO) Simple and General Counterexamples for Private-Coin Evasive LWE.