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.
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
Annual Conference on Computer Science Logic (CSL)
National Conference of the American Association for Artificial Intelligence (AAAI)