Send email Copy Email Address

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.

Filter

Year 2018

Conference / Medium

Computer Aided Verification (CAV)

Conference / Medium

International Conference on Cryptology in India (Indocrypt)

Conference / Medium

GI International Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA)

Conference / Medium

Theory of Cryptography Conference (TCC)

chapter

Handbook of Model Checking

Conference / Medium

International Conference on Practice and Theory in Public Key Cryptography (PKC)

Year 2017

Conference / Medium

ACM Conference on Computer and Communications Security (CCS)

Conference / Medium

ACM Conference on Computer and Communications Security (CCS)