VMSL: A separation logic for mechanised robust safety of virtual machines communicating above FF-A
Zongyuan Liu, Sergei Stepanenko, Jean Pichon-Pharabod, Amin Timany, Aslan Askarov, Lars Birkedal[doi] [Google Scholar] [DBLP] [Citeseer] [url]
Proc. ACM Program. Lang.
7(PLDI)
Association for Computing Machinery
New York, NY, USA
jun 2023
Note(s): separation logic, hypervisor, Operating Systems
Association for Computing Machinery
New York, NY, USA
jun 2023
Note(s): separation logic, hypervisor, Operating Systems