Formal specification of attestation mechanisms in Confidential Computing
Reviews formal specification of attestation mechanisms in Confidential Computing and evaluates key implications for security practitioners.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
The Linux Foundation·36 min
Mikko Ylinen
Evaluates hiding Attestation with Linux Keyring in Confidential Virtual Machines and evaluates key implications for security practitioners.
linuxhidingattestation+2
The Linux Foundation·1 hr 4 min
Discusses LF Live Webinar: Writing a Formal IT Specification for Publication by ISO and evaluates key implications for security practitioners.
writingformalspecification
The Linux Foundation·1 hr
Examines LF Live Webinar: Writing a Formal IT Specification and evaluates key implications for security practitioners.
writingformalspecification