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.
International Symposium on Automated Technology for Verification and Analysis (ATVA) Synthesizing Skeletons for Reactive Systems
MFCS International Symposium on Mathematical Foundations of Computer Science (MFCS) Routing with Congestion in Acyclic Digraphs.
SWAT The Complexity Landscape of Fixed-Parameter Directed Steiner Network Problems (Invited Talk).
European Symposium on Research in Computer Security (ESORICS) On Attacker Models and Profiles for Cyber-Physical Systems
Advances in Cryptology (CRYPTO) Two-Message, Oblivious Evaluation of Cryptographic Functionalities
Advances in Cryptology (CRYPTO) Rate-1, Linear Time and Additively Homomorphic UC Commitments
GraMSec The Right Tool for the Job: A Case for Common Input Scenarios for Security Assessment
TQC Robust Bell Inequalities from Communication Complexity.