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.
Innovations in Theoretical Computer Science (ITCS)
On the Black-Box Complexity of Correlation Intractability.
Symposium on Principles of Programming Languages (POPL)
Secure Composition of SPECTRE Mitigations
International Conference on Verification Model Checking and Abstract Interpretation (VMCAI)
Parameterized Verification of Disjunctive Timed Networks.
Symposium on Principles of Programming Languages (POPL)
Computational-Bounded Robust Compilation and Universally Composable Security
IEEE Symposium on Security and Privacy (S&P)
Conning the Crypto Conman: End-to-End Analysis of Cryptocurrency-based Technical Support Scams
International Conference on Learning Representations (ICLR)
Masks, Signs, And Learning Rate Rewinding.
International Conference on Verification Model Checking and Abstract Interpretation (VMCAI)
Automatic and Incremental Repair for Speculative Information Leaks.
International Conference on Learning Representations (ICLR)
On Adversarial Training without Perturbing all Examples