A Formally Verified Infrastructure for Negotiating Remote Attestation Protocols | Science of Security Virtual Organization

Skip to main content

Science of Security Virtual Organization

Header Menu

Research
Competitions
- Cybersecurity Paper Competition
- ISEF
Meetings

Not a member? Forgot your password?

Hamburger Menu

Home
Projects
News
Events

Breadcrumb

Home /
Publications /
A Formally Verified Infrastructure For Negotiating Remote Attestation Pr...


Author	Anna Fritz
Year of Publication	2024
Google Scholar \| BibTeX

© 2026 Cyber-Physical Systems Virtual Organization

Footer

Terms
Follow Us on X