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.
ACM Conference on Computer and Communications Security (CCS) Kryvos: Publicly Tally-Hiding Verifiable E-Voting.
Innovations in Theoretical Computer Science (ITCS)
The Logic of Software. A Tasting Menu of Formal Method
DISC International Symposium on Distributed Computing (DISC) Routing Schemes and Distance OraclesRouting Schemes and Distance Oracles in the Hybrid Model
Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives
ACM Trans. Priv. Secur. Constrained Proximity Attacks on Mobile Targets.
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022
GI International Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA) VANDALIR: Vulnerability Analyses Based on Datalog and LLVM-IR.
European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) Explaining and debugging pathological program behavior.