E-mail senden E-Mail Adresse kopieren
Placeholder
HiWi

Julia Tillman

E-Mail

Telefon

Adresse

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Gruppenmitglied in

Veröffentlichungen von Julia Tillman

Jahr 2023

2023-07-14

Smart Contract Synthesis Modulo Hyperproperties

Konferenz / Medium

IEEE Computer Security Foundations Symposium (CSF)

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