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.
Automated Software Engineering Conference (ASE)
A Generalized Approach for Solving Web Form Constraints
ACM International Symposium on Empirical Software Engineering and Measurement (ESEM)
Empirical Evaluation of Frequency Based Statistical Models for Estimating Killable Mutants
Transactions on Machine Learning Research (TMLR) Generating Less Certain Adversarial Examples Improves Robust Generalization
International Symposium on Stabilization Safety and Security of Distributed Systems (SSS)
Gathering Semi-Synchronously Scheduled Two-State Robots
International Symposium on Stabilization Safety and Security of Distributed Systems (SSS)
Gathering Oblivious Robots in the Plane
Invited Paper: Gathering Oblivious Robots in the Plane
Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)
Tight Bounds for Constant-Round Domination on Graphs of High Girth and Low Expansion
European Conference on Artificial Intelligence (ECAI)
Inside the Black Box: Detecting Data Leakage in Pre-trained Language Encoders
ACM Conference on Computer and Communications Security (CCS)
VERITAS: Plaintext Encoders for Practical Verifiable Homomorphic Encryption