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) Conformal inductive graph neural networks
International Conference on Autonomous Agents and Multiagent Systems (AAMAS) Hyper Strategy Logic
International Conference on Autonomous Agents and Multiagent Systems (AAMAS) Monitoring Second-Order Hyperproperties
ACM Transactions on Information and System Security Security Analysis of the Consumer Remote SIM Provisioning Protocol
International Conference on Artificial Intelligence and Statistics (AISTATS) Identifying Confounding from Causal Mechanism Shifts.
International Conference on Artificial Intelligence and Statistics (AISTATS) Looping in the Human: Collaborative and Explainable Bayesian Optimization.
The 27th International Conference on Artificial Intelligence and Statistics Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation
International Conference on Machine Learning (ICML) Learning Exceptional Subgroups by End-to-End Maximizing KL-Divergence.
International Conference on the Theory and Application of Cryptographic Techniques (EuroCrypt) A Holistic Security Analysis of Monero Transactions