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.
Precision in the Presence of Uncertainty: SMT-Based Runtime Validation of CPS
Precision in the Presence of Uncertainty: SMT-Based Runtime Validation of CPS
International Conference on the Theory and Application of Cryptographic Techniques (EuroCrypt) Post-Quantum Blind Signature from Standard Group Action Assumptions and More
International Conference on the Theory and Application of Cryptographic Techniques (EuroCrypt) Secure Cloud Storage: Modularization, Network Adversaries and Adaptive Corruptions
International Conference on the Theory and Application of Cryptographic Techniques (EuroCrypt) The Algebraic Isogeny Model: A General Model with Applications to SQIsign and Key Exchanges
International Conference on Acoustics Speech and Signal Processing (ICASSP) Are Modern Speech Enhancement Systems Vulnerable to Adversarial Attacks?
International Conference on Artificial Intelligence and Statistics (AISTATS) Accelerated Distributed Optimization with Compression and Error Feedback
International Conference on Artificial Intelligence and Statistics (AISTATS) Accelerated Distributed Optimization with Compression and Error Feedback
The 29th International Conference on Artificial Intelligence and Statistics (AISTATS) Explanation Design in Strategic Learning: Sufficient Explanations That Induce Non-harmful Responses