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) 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
National Conference of the American Association for Artificial Intelligence (AAAI) Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements
International Symposium on Software Testing and Analysis (ISSTA)