Publications
Scientific publications are the most important measure of our academic excellence and impact. In the past years, CISPA researchers have published many papers at scientific top-tier conferences and in prestigious journals. Our publications are listed in our publications database, including a link to the original paper.
European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) Semantic Debugging
International Symposium on Software Testing and Analysis (ISSTA)
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