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.
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
IEEE Symposium on Security and Privacy (S&P) The Leaky Web: Automated Discovery of Cross-Site Information Leaks in Browsers and the Web
Workshop on DRAM Security (DRAMSec)