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.
Eurosys Conference (EuroSys) PKRU-safe: automatically locking down the heap between safe and unsafe languages
Entropy
Lecture Notes in Computer Science
Knowledge and Information Systems
European Joint Conference on Theory and Practice of Software (ETAPS) Temporal Stream Logic modulo Theories
Proceedings on Privacy Enhancing Technologies
National Conference of the American Association for Artificial Intelligence (AAAI)
International Conference on Artificial Intelligence and Statistics (AISTATS)
Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules