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.
IEEE Conference on Computer Vision and Pattern Recognition (CVPR) Disentangled Person Image Generation
Theory of Cryptography Conference (TCC) Two-Message Statistically Sender-Private OT from LWE
European Symposium on Research in Computer Security (ESORICS) On Ladder Logic Bombs in Industrial Control Systems
International Conference on Principles of Distributed Systems (OPODIS) Broadcasting in an unreliable SINR model
International Symposium on Automated Technology for Verification and Analysis (ATVA)
Computer Aided Verification (CAV)
Computer Aided Verification (CAV)
International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT) How to Securely Compute with Noisy Leakage in Quasilinear Complexity
Tools and Algorithms for Construction and Analysis of Systems (TACAS) RVHyper: A Runtime Verification Tool for Temporal Hyperproperties