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.
Information Security Practice and Experience
Computer Aided Verification
IEEE International Conference on Data Mining (ICDM)
International Conference on Learning Representations (ICLR)
Public-Key Cryptography – PKC 2019
Computer Aided Verification (CAV)
Computer Aided Verification
IACR Cryptol. ePrint Arch.