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.
European Joint Conference on Theory and Practice of Software (ETAPS) Temporal Stream Logic modulo Theories
Proceedings on Privacy Enhancing Technologies
National Conference of the American Association for Artificial Intelligence (AAAI)
International Conference on Artificial Intelligence and Statistics (AISTATS)
Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules
ACM Transactions on Intelligent Systems and Technology FairSR: Fairness-aware Sequential Recommendation through Multi-Task Learning with Preference Graph Embeddings
International Conference on Practice and Theory in Public Key Cryptography (PKC)
International Conference on Practice and Theory in Public Key Cryptography (PKC) On Pairing-Free Blind Signature Schemes in the Algebraic Group Model
European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Database (ECML PKDD) IReEn: Reverse-Engineering of Black-Box Functions via Iterative Neural Program Synthesis