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.
The Logic of Software. A Tasting Menu of Formal Method
The Logic of Software. A Tasting Menu of Formal Methods
ACM-SIAM Symposium on Discrete Algorithms (SODA)
Public-Key Cryptography – PKC 2022
International Conference on Learning Representations (ICLR)
GI International Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA)
ACM Transactions on Computer-Human Interaction
International Conference on Parallel and Distributed Systems (ICPADS)