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.
International Conference on Learning Representations (ICLR) Improved Estimation of Concentration Under Lp-Norm Distance Metric Using Half Spaces
Symposium on Principles of Programming Languages (POPL) Model Checking Algorithms for Hyperproperties (Invited Paper)
IEEE European Symposium on Security and Privacy (EuroS&P) Compression Boosts Differentially Private Federated Learning
International Conference on Distributed Computing and Networking (ICDCN)
IEEE Workshop on Applications of Computer Vision (WACV)
Procedia Computer Science Detecting Call Indirection Obfuscation through Equivalence Checking in Android environment
Usenix Security Symposium (USENIX-Security) Dompteur: Taming Audio Adversarial Examples
Tools and Algorithms for Construction and Analysis of Systems (TACAS) Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution).
CSCML Robust Multivariate Anomaly-Based Intrusion Detection System for Cyber-Physical Systems.