research
∙
12/20/2021
Relational Models of Microarchitectures for Formal Security Analyses
There is a growing need for hardware-software contracts which precisely ...
share
research
∙
03/05/2021
Formalizing Graph Trail Properties in Isabelle/HOL
We describe a dataset expressing and proving properties of graph trails,...
research
∙
12/27/2020
