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 2023

2023-01

Privacy Rarely Considered: Exploring Considerations in the Adoption of Third-Party Services by Websites

Konferenz / Medium

Privacy Enhancing Technologies Symposium (PETS)

Tags
Empirische und Verhaltensorientierte Sicherheit
Autor:innen
  • Christine Utz
  • Sabrina Amft
  • Martin Degeling
  • Thorsten Holz
  • Sascha Fahl
  • Florian Schaub
Zum Paper Detail-Seite besuchen
2023

Lifted Stackelberg Planning.

Konferenz / Medium

International Conference on Automated Planning and Scheduling (ICAPS)

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

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023

Buch

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

On Quantum Secure Compressing Pseudorandom Functions

Konferenz / Medium

International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Ritam Bhaumik
  • Benoît Cogliati
  • Jordan Ethan
  • Ashwin Jha
Zum Paper Detail-Seite besuchen
2023

Towards a Dereversibilizer: Fewer Asserts, Statically

Konferenz / Medium

Reversible Computation (RC)

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
  • Jonas Wolpers Reholt
  • Robert Glück
  • Matthis Kruse
Zum Paper Detail-Seite besuchen
2023

On Large Tweaks in Tweakable Even-Mansour with Linear Tweak and Key Mixing

Artikel

IACR Transactions on Symmetric Cryptology

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Benoît Cogliati
  • Jordan Ethan
  • Ashwin Jha
  • Soumya Kanti Saha
Zum Paper Detail-Seite besuchen
2023

Distributed Maximal Matching and Maximal Independent Set on Hypergraphs

Konferenz / Medium

ACM-SIAM Symposium on Discrete Algorithms (SODA)

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

Jahr 2022

2022-12-31

Subexponential Parameterized Algorithms for Planar and Apex-Minor-Free Graphs via Low Treewidth Pattern Covering

Artikel

SIAM Journal on Computing

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Fedor V Fomin
  • Daniel Lokshtanov
  • Dániel Marx
  • Marcin Pilipczuk
  • Michał Pilipczuk
  • Saket Saurabh
Zum Paper Detail-Seite besuchen
2022-12-29

Automated Program Repair Using Formal Verification Techniques

chapter

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

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
  • Hadar Frenkel
  • Grumberg Orna
  • Rothenberg Bat-Chen
  • Sheinvald Sarai
Zum Paper Detail-Seite besuchen