Alle PubliKationen
Unsere wissenschaftlichen Publikationen belegen eindrucksvoll die Exzellenz und internationale Sichtbarkeit unserer Forschung. In den vergangenen Jahren haben CISPA-Forschende zahlreiche Beiträge auf wissenschaftlichen Top-Konferenzen weltweit und in renommierten Fachzeitschriften veröffentlicht. Unsere Publikationen sind in unserer Publikationsdatenbank aufgeführt, einschließlich des Links zur Originalveröffentlichung.
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)