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.
ICALP Cryptanalysis of Indistinguishability Obfuscations of Circuits over GGH13.
Theory of Cryptography Conference (TCC) From Selective IBE to Full IBE and Selective HIBE
Symposium on Theoretical Aspects of Computer Science (STACS) The First-Order Logic of Hyperproperties.
International Conference on Runtime Verification (RV) Stream Runtime Monitoring on UAS.
European Symposium on Programming (ESOP) Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs.
DISC International Symposium on Distributed Computing (DISC) Brief Announcement: A Centralized Local Algorithm for the Sparse Spanning Graph Problem.
DISC International Symposium on Distributed Computing (DISC) Self-Stabilising Byzantine Clock Synchronisation is Almost as Easy as Consensus.
ACM Cyber-Physical System Security Workshop (CPSS) SIPHON: Towards Scalable High-Interaction Physical Honeypots.
NSS \mu Shield - Configurable Code-Reuse Attacks Mitigation For Embedded Systems.