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 2021

2021-05-31

On the Computational Tractability of a Geographic Clustering Problem Arising in Redistricting

Konferenz / Medium

Symposium on Foundations of Responsible Computing (FORC)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Vincent Cohen-Addad
  • Philip N Klein
  • Dániel Marx
  • Archer Wheeler
  • Christopher Wolfram
Zum Paper Detail-Seite besuchen
2021-05-30

Restoring Execution Environments of Jupyter Notebooks

Konferenz / Medium

International Conference on Software Engineering (ICSE)

Tags
Sichere vernetzte und mobile Systeme
Autor:innen
Zum Paper Detail-Seite besuchen
2021-05-30

IdBench:
Evaluating Semantic Representations of Identifier Names in Source Code

Konferenz / Medium

IEEE/ACM 43rd International Conference on Software Engineering (ICSE) IdBench: Evaluating Semantic Representations of Identifier Names in Source Code

Tags
Autor:innen
Zum Paper Detail-Seite besuchen
2021-05-27

SoK:
Computer-Aided Cryptography

Konferenz / Medium

IEEE Symposium on Security and Privacy (S&P)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
  • Manuel Barbosa
  • Gilles Barthe
  • Karthik Bhargavan
  • Bruno Blanchet
  • Cas Cremers
  • Kevin Liao
  • Brian Parno
Zum Paper Detail-Seite besuchen
2021-05-27

PLATYPUS:
Software-based Power Side-Channel Attacks on x86

Konferenz / Medium

IEEE Symposium on Security and Privacy (S&P)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
  • Moritz Lipp
  • Andreas Kogler
  • David Oswald
  • Michael Schwarz
  • Catherine Easdon
  • Claudio Canella
  • Daniel Gruss
Zum Paper Detail-Seite besuchen
2021-05-27

An Interactive Prover for Protocol Verification in the Computational Model

Konferenz / Medium

IEEE Symposium on Security and Privacy (S&P)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
  • David Baelde
  • Stephanie Delaune
  • Charlie Jacomme
  • Adrien Koutsos
  • Solene Moreau
Zum Paper Detail-Seite besuchen
2021-05-27

Adversarial Watermarking Transformer:
Towards Tracing Text Provenance with Data Hiding

Konferenz / Medium

IEEE Symposium on Security and Privacy (S&P)

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
Zum Paper Detail-Seite besuchen
2021-05-27

Black Widow:
Blackbox Data-driven Web Scanning

Konferenz / Medium

IEEE Symposium on Security and Privacy (S&P)

Tags
Empirische und Verhaltensorientierte Sicherheit
Autor:innen
Zum Paper Detail-Seite besuchen
2021-05-27

Restoring reproducibility of Jupyter notebooks

Konferenz / Medium

International Conference on Software Engineering (ICSE)

Tags
Sichere vernetzte und mobile Systeme
Autor:innen
Zum Paper Detail-Seite besuchen