E-mail senden E-Mail Adresse kopieren

Alle PubliKationen 

Unsere wissenschaftlichen Publikationen belegen eindrucksvoll die Exzellenz und internationale Sichtbarkeit unserer Forschung. In den vergangenen Jahren haben CISPA-Forschende zahlreiche Beiträge auf wissenschaftlichen Top-Konferenzen weltweit und in renommierten Fachzeitschriften veröffentlicht. Unsere Publikationen sind in unserer Publikationsdatenbank aufgeführt, einschließlich des Links zur Originalveröffentlichung.

Filter

Jahr 2022

2022-08

On Specifications and Proofs of Timed Circuits

Buchkapitel

On Specifications and Proofs of Timed Circuits

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Matthias Fuegger
  • Christoph Lenzen
  • Ulrich Schmid
Zum Paper Detail-Seite besuchen
2022-08

SAPIC+:
protocol verifiers of the world, unite!

Konferenz / Medium

Usenix Security Symposium (USENIX-Security)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2022-08

Syndrome Decoding in the Head:
Shorter Signatures from Zero-Knowledge Proofs

Konferenz / Medium

Advances in Cryptology (CRYPTO) Lecture Notes in Computer Science

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
Zum Paper Detail-Seite besuchen
2022-08

Gossiping for Communication-Efficient Broadcast

Konferenz / Medium

Advances in Cryptology (CRYPTO) Lecture Notes in Computer Science

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Georgios Tsimos
  • Julian Loss
  • Charalampos Papamanthou
Zum Paper Detail-Seite besuchen
2022-08

Locally Checkable Problems in Rooted Trees

Artikel

Distributed Computing

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Alkida Balliu
  • Sebastian Brandt
  • Yi-Jun Chang
  • Dennis Olivetti
  • Jan Studený
  • Jukka Suomela
  • Aleksandr Tereshchenk
Zum Paper Detail-Seite besuchen
2022-08

(Nondeterministic) Hardness vs. Non-Malleability

Konferenz / Medium

Advances in Cryptology (CRYPTO)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Marshall Ball
  • Dana Dachman-Soled
  • Julian Loss
Zum Paper Detail-Seite besuchen
2022-08

Software Verification of Hyperproperties Beyond k-Safety

Konferenz / Medium

Computer Aided Verification (CAV)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2022-08

The Security Lottery:
Measuring Client-Side Web Security Inconsistencies

Konferenz / Medium

Usenix Security Symposium (USENIX-Security)

Tags
Empirische und Verhaltensorientierte Sicherheit
Autor:innen
  • Sebastian Roth
  • Stefano Calzavara
  • Moritz Wilhelm
  • Alvise Rabitti
  • Ben Stock
Zum Paper Detail-Seite besuchen
2022-08

CHIP and CRISP:
Protecting All Parties Against Compromise through Identity-Binding PAKEs

Konferenz / Medium

Advances in Cryptology (CRYPTO) Advances in Cryptology – CRYPTO 2022

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen