Publications
Scientific Publications are the most important measure of our scientific excellence and impact. In the past years, CISPA researchers have published many papers at scientific conferences – most of which were in top-tier conferences – and articles in prestigious journals. The publications from 2011 onwards are listed in our publications database, including a direct link to the original paper.
Computer Aided Verification (CAV)
Computer Aided Verification (CAV)
International Conference on the Theory and Application of Cryptographic Techniques (EUROCRYPT)
Advances in Cryptology – EUROCRYPT 2020
IEEE Symposium on Security and Privacy (S&P)
Acta Informatica
Annual Computer Security Applications Conference (ACSAC)
Annual Computer Security Applications Conference (ACSAC)
International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT)