Formal Verification and Performance Simulation in Real World Applications...
Reviews formal Verification and Performance Simulation in Real World Applications 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·32 min
Daniel Bristot de Oliveira
Examines formal Verification Made Easy (and fast!) and evaluates key implications for security practitioners.
formalverificationeasy+1
BSides Canberra·30 min
Ihor Kuz
Ihor Kuz explores "Does Formal Verification Really Lead to Better Security?".
doeformalverification+1
IEEE Symposium on Security and Privacy·15 min
Engineers explore architecture and security mechanisms for An I/O Separation Model for Formal Verification of Kernel Implementations.
kernelseparationmodel+3