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.
International Workshop on Graph-Theoretic Concepts in Computer Science (WG)
Formal Methods in Computer-Aided Design (FMCAD)
International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT)
DISC International Symposium on Distributed Computing (DISC)
European Symposium on Research in Computer Security (ESORICS)
IEEE Vehicular Technology Conference (VTC)
International Journal on Software Tools for Technology Transfer
International Conference on Runtime Verification (RV)
Symposium on Reliable Distributed Systems (SRDS)