Skip to main content
Science of Security Virtual Organization
Header Menu
Research
Virtual Institutes
Lablets
Projects
Publications
HotSoS
Competitions
Cybersecurity Paper Competition
ISEF
Conferences
HCSS
HotSoS
C3E
Login
Not a member?
Forgot your password?
Submit
Hamburger Menu
Home
Projects
News
Events
Breadcrumb
Home
/
Anna Fritz
First name
Anna
Last name
Fritz
Fritz, A. . (2024). A Formally Verified Infrastructure for Negotiating Remote Attestation Protocols.
View