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)
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