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.
Let’s not Trust Experience Blindly: Formal Monitoring of Humans and other CPS
ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
Selected Areas in Cryptography (SAC)
IEEE Symposium on Logic in Computer Science (LICS)
Lecture Notes in Computer Science
Workshop on Assistive Computer Vision and Robotics at European Conference on Computer Vision (ECCV-Workshop) Computer Vision – ECCV 2020 Workshops
European Conference on Computer Vision (ECCV) Computer Vision – ECCV 2020 Workshops
European Symposium on Algorithms (ESA) Incompressibility of H-Free Edge Modification Problems: Towards a Dichotomy