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-04-22

AutoHyper: Explicit-State Model Checking for HyperLTL

Konferenz / Medium

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

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

Inferring Symbolic Automata

Artikel

Logical Methods in Computer Science

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
  • Fisman Dana
  • Hadar Frenkel
  • Zilles Sandra
Zum Paper Detail-Seite besuchen
2023-04-20

Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification

Konferenz / Medium

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
  • Nouraldin Jaber
  • Christopher Wagner
  • Swen Jacobs
  • Milind Kulkarni
  • Roopsha Samanta
Zum Paper Detail-Seite besuchen
2023-04-19

Why I Can't Authenticate --- Understanding the Low Adoption of Authentication Ceremonies with Autoethnography

Konferenz / Medium

International Conference on Human Factors in Computing Systems (CHI)

Tags
Empirische und Verhaltensorientierte Sicherheit
Autor:innen
Zum Paper Detail-Seite besuchen
2023-04-19

Different Researchers, Different Results? Analyzing the Influence of Researcher Experience and Data Type During Qualitative Analysis of an Interview and Survey Study on Security Advice

Konferenz / Medium

International Conference on Human Factors in Computing Systems (CHI)

Tags
Empirische und Verhaltensorientierte Sicherheit
Autor:innen
Zum Paper Detail-Seite besuchen
2023-04-19

A Psychometric Scale to Measure Individuals’ Value of Other People’s Privacy (VOPP)

Konferenz / Medium

International Conference on Human Factors in Computing Systems (CHI)

Tags
Empirische und Verhaltensorientierte Sicherheit
Autor:innen
Zum Paper Detail-Seite besuchen
2023-04-16

Short Signatures from Regular Syndrome Decoding in the Head

Konferenz / Medium

International Conference on the Theory and Application of Cryptographic Techniques (EuroCrypt)

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

On the Hardness of the Finite Field Isomorphism Problem

Konferenz / Medium

International Conference on the Theory and Application of Cryptographic Techniques (EuroCrypt)

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

Efficient Laconic Cryptography from Learning with Errors

Konferenz / Medium

International Conference on the Theory and Application of Cryptographic Techniques (EuroCrypt)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Nico Döttling
  • Dimitris Kolonelos
  • Russell WF Lai
  • Chuanwei Lin
  • Giulio Malavolta
  • Ahmadreza Rahimi
Zum Paper Detail-Seite besuchen