![Julia Eisentraut](https://popl21.sigplan.org/getProfileImage/juliaeisentraut/3eb3562d-de5b-4465-bb6f-0ff19b4d2077/small.jpg?1711638137000)
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