Alle PubliKationen
Unsere wissenschaftlichen Publikationen belegen eindrucksvoll die Exzellenz und internationale Sichtbarkeit unserer Forschung. In den vergangenen Jahren haben CISPA-Forschende zahlreiche Beiträge auf wissenschaftlichen Top-Konferenzen weltweit und in renommierten Fachzeitschriften veröffentlicht. Unsere Publikationen sind in unserer Publikationsdatenbank aufgeführt, einschließlich des Links zur Originalveröffentlichung.
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.