Embedded in Academia : Multi-Version Execution Defeats a Compiler-Bug-Based Backdoor edit / delete

Using varan, a tool that compares execution traces of programs built in different ways, to detect a compiler fault. Neat!

to compiler debugging security varan ... on 28 February 2016

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom

Tags related to varan

- varan
 
1 + compiler
1 + debugging
1 + security