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.
Algorithmica: an international journal in computer science Conflict-Free Coloring: Graphs of Bounded Clique-Width and Intersection Graphs
Tools and Algorithms for Construction and Analysis of Systems (TACAS)
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
Digital Scholarship in the Humanities All the world’s a (hyper)graph: A data drama
International Conference on the Theory and Application of Cryptographic Techniques (EuroCrypt)
Two-Round Maliciously-Secure Oblivious Transfer with Optimal Rate
Privacy Enhancing Technologies Symposium (PETS)
A Bilingual Longitudinal Analysis of Privacy Policies Measuring the Impacts of the GDPR and the CCPA/CPRA
IEEE Transactions on Network and Service Management On Cross-Layer Interactions of QUIC, Encrypted DNS and HTTP/3: Design, Evaluation and Dataset
Communications of the ACM Language-Based Software Testing
Transactions on Machine Learning Research (TMLR) A Unified View of Differentially Private Deep Generative Modeling.
National Conference of the American Association for Artificial Intelligence (AAAI)
Finding Interpretable Class-Specific Patterns through Efficient Neural Search