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 Learning Representations (ICLR) Sentence Embedding Encoders are Easy to Steal but Hard to Defend
European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
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