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 2022

2022-08

Rapid Prototyping for Microarchitectural Attacks

Conference / Medium

Usenix Security Symposium (USENIX-Security)

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page
2022-08

SAPIC+: protocol verifiers of the world, unite!

Conference / Medium

Usenix Security Symposium (USENIX-Security)

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

On Specifications and Proofs of Timed Circuits

chapter

Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday

Tags
Algorithmic Foundations and Cryptography
Authors
  • Matthias Fuegger
  • Christoph Lenzen
  • Ulrich Schmid
Full Paper Visit Detail Page
2022-08

Gossiping for Communication-Efficient Broadcast

chapter

Advances in Cryptology – CRYPTO 2022

Tags
Algorithmic Foundations and Cryptography
Authors
  • Georgios Tsimos
  • Julian Loss
  • Charalampos Papamanthou
Full Paper Visit Detail Page
2022-08

(Nondeterministic) Hardness vs. Non-Malleability

Conference / Medium

Advances in Cryptology (CRYPTO)

Tags
Algorithmic Foundations and Cryptography
Authors
  • Marshall Ball
  • Dana Dachman-Soled
  • Julian Loss
Full Paper Visit Detail Page
2022-08

If You Can't Get Them to the Lab: Evaluating a Virtual Study Environment with Security Information Workers

Conference / Medium

Symposium on Usable Privacy and Security (SOUPS)

Tags
Empirical & Behavioral Security
Authors
Full Paper Visit Detail Page
2022-08

Industrial practitioners' mental models of adversarial machine learning

Conference / Medium

Symposium on Usable Privacy and Security (SOUPS)

Tags
Empirical & Behavioral Security
Authors
Full Paper Visit Detail Page
2022-08

Replication: Stories as Informal Lessons about Security

Conference / Medium

Symposium on Usable Privacy and Security (SOUPS)

Tags
Empirical & Behavioral Security
Authors
Full Paper Visit Detail Page
2022-08

Comparing User Perceptions of Anti-Stalkerware Apps with the Technical Reality

Conference / Medium

Symposium on Usable Privacy and Security (SOUPS)

Tags
Empirical & Behavioral Security
Authors
Full Paper Visit Detail Page