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.
PQCrypto Short Identity-Based Signatures with Tight Security from Lattices
Conference on Neural Information Processing Systems (NeurIPS) Deconditional Downscaling with Gaussian Processes.
Conference on Neural Information Processing Systems (NeurIPS) BayesIMP: Uncertainty Quantification for Causal Data Fusion.
SIAM Symposium on Simplicity in Algorithms (SOSA) A Breezing Proof of the KMW Bound.
Proc. ACM Program. Lang. Distributed Causal Memory: Modular Specification and Verification in Higher-Order Distributed Separation Logic
Proc. ACM Program. Lang. Mechanized Logical Relations for Termination-Insensitive Noninterference
Usenix Security Symposium (USENIX-Security) PhishPrint: Evading Phishing Detection Crawlers by Prior Profiling.