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.
Computer Aided Verification (CAV)
Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems
Usenix Security Symposium (USENIX-Security)
LEO-Range: Physical Layer Design for Secure Ranging with Low Earth Orbiting Satellites
Association for Computing Machinery (ACM)
Succinct Interaction-Aware Explanations
International Conference on Machine Learning (ICML)
Mirror, Mirror of the Flow: How Does Regularization Shape Implicit Bias?
ACM Transactions on Software Engineering and Methodology Learning Program Behavioral Models from Synthesized Input-Output Pairs
International Conference on Machine Learning (ICML)
The Ripple Effect: On Unforeseen Complications of Backdoor Attacks
International Conference on Machine Learning (ICML)
Decoupled SGDA for Games with Intermittent Strategy Communication
International Conference on Machine Learning (ICML)
Usenix Security Symposium (USENIX-Security)
GDMA: Fully Automated DMA Rehosting via Iterative Type Overlays