Design of a symbolically executable embedded hypervisor
Jan Nordholz[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]
Proceedings of the Fifteenth European Conference on Computer Systems
EuroSys '20
Heraklion, Greece
Association for Computing Machinery
New York, NY, USA
2020
Note(s): symbolic execution, hypervisor, ISA specification
EuroSys '20
Heraklion, Greece
Association for Computing Machinery
New York, NY, USA
2020
Note(s): symbolic execution, hypervisor, ISA specification