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.
ESEC/FSE
ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
CCS
ACM SIGSAC Conference on Computer and Communications Security
ICDM
Proceedings of the IEEE International Conference on Data Mining (ICDM)IEEE International Conference on Data Mining
CCS
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications SecurityACM CCS 2020
ICDM
Proceedings of the IEEE Interational Conference on Data Mining (ICDM)IEEE International Conference on Data Mining
ATVA
LNCS, Volume 1230218th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020
ATVA
Lecture Notes in Computer ScienceAutomated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings
RV
Runtime VerificationRV 2020