Excite project: All the truth about Symbolic Execution for BIOS security
https://raw.githubusercontent.com/REhints/Publications/master/Conferences/ZeroNights_2016/Excite_Project_ZN.pdf [raw.githubusercontent.com]
2016-12-06 21:48
Excite project combines dynamic symbolic execution and guided fuzzing for automatic test case generation, and our flow uses Intel Virtual Platform to dump BIOS data, replay tests (measuring code coverage) and find vulnerabilities