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 2019

2019-05-28

Clausal Proofs of Mutilated Chessboards

Konferenz / Medium

NASA Formal Methods Symposium (NFM)

Tags
Autor:innen
  • Marijn JH Heule
  • Benjamin Kiesl
  • Armin Biere
Zum Paper Detail-Seite besuchen
2019-05-23

"If HTTPS Were Secure, I Wouldn't Need 2FA" - End User and Administrator Mental Models of HTTPS

Konferenz / Medium

IEEE Symposium on Security and Privacy (S&P)

Tags
Empirische und Verhaltensorientierte Sicherheit
Autor:innen
Zum Paper Detail-Seite besuchen
2019-05-23

Fidelius: Protecting User Secrets from Compromised Browsers

Konferenz / Medium

IEEE Symposium on Security and Privacy (S&P)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
  • Saba Eskandarian
  • Jonathan Cogan
  • Sawyer Birnbaum
  • Peh Chang Wei Brandon
  • Dillon Franke
  • Forest Fraser
  • Gaspar Garcia
  • Eric Gong
  • Hung T Nguyen
  • Taresh K Sethi
  • Vishal Subbiah
  • Michael Backes
  • Giancarlo Pellegrino
  • Dan Boneh
Zum Paper Detail-Seite besuchen
2019-05-18

Short Text, Large Effect: Measuring the Impact of User Reviews on Android App Security and Privacy

Konferenz / Medium

IEEE Symposium on Security and Privacy (S&P)

Tags
Empirische und Verhaltensorientierte Sicherheit
Autor:innen
Zum Paper Detail-Seite besuchen
2019-05-14

RIDL: Rogue In-flight Data Load

Konferenz / Medium

IEEE Symposium on Security and Privacy (S&P)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
  • Stephan van Schaik
  • Alyssa Milburn
  • Sebastian Österlund
  • Pietro Frigo
  • Giorgi Maisuradze
  • Kaveh Razavi
  • Herbert Bos
  • Cristiano Giuffrida
Zum Paper Detail-Seite besuchen
2019-05-13

Language in Our Time: An Empirical Analysis of Hashtags

Konferenz / Medium

The Web Conference (WWW)

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

We Are Not Your Real Parents: Telling Causal from Confounded using MDL

Konferenz / Medium

SIAM International Conference on Data Mining (SDM)

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

simTPM: User-centric TPM for Mobile Devices

Konferenz / Medium

Usenix Security Symposium (USENIX-Security)

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

Why does this App need this Data? Automatic Tightening of Resource Access

Konferenz / Medium

International Conference on Software Testing Verification and Validation (ICST)

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