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 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
ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
ACM Symposium on Theory of Computing (STOC) Near-optimal distributed degree+1 coloring