Registered user since Fri 27 Nov 2020
Name:Julia Eisentraut
Country:Germany
Affiliation:TU Munich
X (Twitter): https://x.com/EisentrautJulia
Research interests:Formal Methods, Attack Trees, Security
Contributions
POPL 2021-profile
View general profile
View general profile