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.
Journal of Automated Reasoning Schematic Program Proofs with Abstract Execution
International Conference on Automated Planning and Scheduling (ICAPS) Non-deterministic Planning for Hyperproperty Verification
ACM Conference on Security and Privacy in Wireless and Mobile Networks (ACM WiSec) VSAsTer: Uncovering Inherent Security Issues in Current VSAT System Practices
International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT) Early Stopping Byzantine Agreement in $(1+ε)\cdot f$ Rounds
IEEE Symposium on Security and Privacy (S&P) A Representative Study on Human Detection of Artificially Generated Media Across Countries
IEEE Symposium on Security and Privacy (S&P)
IEEE Symposium on Security and Privacy (S&P) Janus: Safe Biometric Deduplication for Humanitarian Aid Distribution
IEEE Symposium on Security and Privacy (S&P) Where Are the Red Lines? Towards Ethical Server-Side Scans in Security and Privacy Research
Genome Biology Biologically informed NeuralODEs for genome-wide regulatory dynamics