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.
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.
ICITS Linear-Time Non-Malleable Codes in the Bit-Wise Independent Tampering Model
SIAM International Conference on Data Mining (SDM) Efficiently Summarising Event Sequences with Rich Interleaving Patterns.