"Formal Specification and Taming Other People's Tech" by Marianne Bellotti
Analysts investigate attack surfaces and defenses concerning "Formal Specification and Taming Other People's Tech" by Marianne Bellotti.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
BalCCon - Balkan Computer Congress·54 min
Stefan Nozinic
Demonstrates balCCon2k23 - Stefan Nozinic - Formal specifications of systems - why and how and evaluates key implications for security practitioners.
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.
The Linux Foundation·39 min
Muhammad Usama Sardar
Reviews formal specification of attestation mechanisms in Confidential Computing and evaluates key implications for security practitioners.