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.
CSF How to wrap it up - A formally verified proposal for the use of authenticated wrapping in PKCS#11
IEEE Symposium on Logic in Computer Science (LICS)
ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
IEEE Conference on Computer Vision and Pattern Recognition (CVPR) Local Temporal Bilinear Pooling for Fine-Grained Action Parsing
IEEE European Symposium on Security and Privacy (EuroS&P) Steroids for DOPed Applications: A Compiler for Automated Data-Oriented Programming
IEEE European Symposium on Security and Privacy (EuroS&P)
IEEE Conference on Computer Vision and Pattern Recognition (CVPR)
IEEE European Symposium on Security and Privacy (EuroS&P)
SPAA Parallel Balanced Allocations: The Heavily Loaded Case.