Send email Copy Email Address

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.

Filter

Year 2024

2024-01-20

Secure Composition of SPECTRE Mitigations

Conference / Medium

Symposium on Principles of Programming Languages (POPL)

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page
2024-01-20

Computational-Bounded Robust Compilation and Universally Composable Security

Conference / Medium

Symposium on Principles of Programming Languages (POPL)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2024-01-18

Conning the Crypto Conman: End-to-End Analysis of Cryptocurrency-based Technical Support Scams

Conference / Medium

IEEE Symposium on Security and Privacy (S&P)

Tags
Threat Detection and Defenses
Authors
  • Bhupendra Acharya
  • Muhammad Saad
  • Antonio Emanuele Cinà
  • Lea Schönherr
  • Hoang Dai Nguyen
  • Adam Oest
  • Phani Vadrevu
  • Thorsten Holz
Full Paper Visit Detail Page
2024-01-16

Masks, Signs, And Learning Rate Rewinding.

Conference / Medium

International Conference on Learning Representations (ICLR)

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page
2024-01-16

On Adversarial Training without Perturbing all Examples

Conference / Medium

International Conference on Learning Representations (ICLR)

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page
2024-01-16

Automatic and Incremental Repair for Speculative Information Leaks.

Conference / Medium

International Conference on Verification Model Checking and Abstract Interpretation (VMCAI)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2024-01-12

Formal Verification of Symbolic Bug Finders

thesis-dissertation

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2024-01-08

Conditional lower bounds for sparse parameterized 2-CSP: A streamlined proof

Conference / Medium

SIAM Symposium on Simplicity in Algorithms (SOSA)

Tags
Algorithmic Foundations and Cryptography
Authors
Full Paper Visit Detail Page
2024-01-08

Certification Aspects of Runtime Assurance for Urban Air Mobility

Conference / Medium

AIAA SciTech Forum / AIAA Aerospace Sciences Meeting (AIAA)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page