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.
International Conference on Runtime Verification (RV)
Symposium on Reliable Distributed Systems (SRDS)
Games Automata Logics and Formal Verification (GandALF)
HHAI2022: Augmenting Human Intellect
European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
ACM Conference on Computer and Communications Security (CCS)
European Symposium on Research in Computer Security (ESORICS)
European Symposium on Algorithms (ESA)
Communications of the ACM