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 Conference on Practice and Theory in Public Key Cryptography (PKC) Transparent Batchable Time-lock Puzzles and Applications to Byzantine Consensus
International Conference on Practice and Theory in Public Key Cryptography (PKC) Laconic Function Evaluation for Turing Machines
International Conference on Software Engineering - Companion (ICSE-Companion) Learning Test Input Constraints from Branch Conditions
International Conference on Software Engineering - Companion (ICSE-Companion) Grammar-Based String Refinement Types
Journal of Water Resources Planning and Management High-Fidelity Cyber and Physical Simulation of Water Distribution Systems. II: Enabling Cyber-Physical Attack Localization
Journal of Water Resources Planning and Management High-Fidelity Cyber and Physical Simulation of Water Distribution Systems. I: Models and Data
IEEE Workshop on Offensive Technologies (WOOT) CustomProcessingUnit: Reverse Engineering and Customization of Intel Microcode
International Conference on Learning Representations (ICLR)
Discrete Optimization