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.
ICLR-Workshop (ICLRW) PREDICTING TIME-VARYING METABOLIC DYNAMICS USING STRUCTURED NEURAL ODE PROCESSES
International Conference on Learning Representations (ICLR) σ -zero: Gradient-based Optimization of ℓ0-norm Adversarial Examples
International Conference on Learning Representations (ICLR) CAUSAL ORDER: THE KEY TO LEVERAGING IMPERFECT EXPERTS IN CAUSAL INFERENCE
Formal methods in system design Automatic WSTS-based repair and deadlock detection of parameterized systems
Leibniz Transactions on Embedded Systems GDBMiner: Mining Precise Input Grammars on (Almost) Any System
Financial Cryptography and Data Security (FC) Lixom: Protecting Encryption Keys with Execute-Only Memory
IEEE Conference on Secure and Trustworthy Machine Learning (SaTML) Verifiable and Provably Secure Machine Unlearning
National Conference of the American Association for Artificial Intelligence (AAAI) Federated Binary Matrix Factorization Using Proximal Optimization
National Conference of the American Association for Artificial Intelligence (AAAI) From Your Block to Our Block: How to Find Shared Structure Between Stochastic Block Models over Multiple Graphs