Skip to main content
Science of Security Virtual Organization
Header Menu
Research
Virtual Institutes
Lablets
Projects
Publications
Competitions
Cybersecurity Paper Competition
ISEF
Meetings
HotSoS Symposium
HCSS Conference
C3E Workshop
SCC Meeting
Login
Not a member?
Forgot your password?
Login
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