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.
IEEE Transactions on Pattern Analysis and Machine Intelligence Optimising for Interpretability: Convolutional Dynamic Alignment Networks
International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR) Counterfactuals Modulo Temporal Logics
Logical Methods in Computer Science
Usenix Security Symposium (USENIX-Security) Fast IDentity Online with Anonymous Credentials (FIDO-AC).
IEEE Symposium on Security and Privacy (S&P)
IEEE Symposium on Security and Privacy (S&P)
Structural Information and Communication Complexity (SIROCCO)
Structural Information and Communication Complexity (SIROCCO)
IEEE Symposium on Security and Privacy (S&P)