BalCCon2k23 - Stefan Nozinic - Formal specifications of systems - why and how
Demonstrates balCCon2k23 - Stefan Nozinic - Formal specifications of systems - why and how 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·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·39 min
Muhammad Usama Sardar
Reviews formal specification of attestation mechanisms in Confidential Computing and evaluates key implications for security practitioners.
formalspecificationattestation+2
The Linux Foundation·1 hr
Examines LF Live Webinar: Writing a Formal IT Specification and evaluates key implications for security practitioners.
writingformalspecification