Projects

Currently I am working on the Formal Verification of a Security Providing Thin Hypervisor for Embedded System.