1. An architecture supporting formal and compositional binary analysis;McMahan;Comput. Archit. News,2017
2. Three challenges in cyber-physical systems;Mangharam,2016
3. A formal verification methodology for DDD mode pacemaker control programs;Shuja;J. Electr. Comput. Eng.,2015
4. Proof of separability: a verification technique for a class of a security kernels;Rushby,1982
5. The slam calculus: programming with secrecy and integrity;Heintze,1998