Statistics
Publications
2
Citations
38
H-Index
2
Active since
2020
Affiliations
ETH Zurich(Current)
Felix A. Wolf is an author at ETH Zurich specializing in separation logic, soundness, and authentication protocols.
Publications per year
2020–2023
2
2
Sound Verification of Security Protocols: From Design to Interoperable Implementations
Linard Arquint, Felix A. Wolf, Joseph Lallemand et al. · 2023 · 13 citations · Full text
1–2 of 2