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.
IEEE Conference on Computer Vision and Pattern Recognition (CVPR)
ACM Symposium on Theory of Computing (STOC)
International Conference on Applied Cryptography and Network Security (ACNS) Identifying Near-Optimal Single-Shot Attacks on ICSs with Limited Process Knowledge
ISCA ACM International Symposium on Computer Architecture (ISCA) Axiomatic hardware-software contracts for security
Lecture Notes in Computer Science
International Conference on HCI for Cybersecurity, Privacy, and Trust (HCI-CPT)
ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
ACM SIGMOD-SIGACT-SIGART Conference on Principles of Database Systems (PODS)
ACM SIGPLAN International Conference on Programming Language Design and Implementation Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries