High Assurance Cyber Military Systems
Using formal proof and microkernel mechanisms to build secure autonomous vehicles in DARPA’s high assurance cyber military systems (HACMS) program.
Previous post:
Coming up next:
Using formal proof and microkernel mechanisms to build secure autonomous vehicles in DARPA’s high assurance cyber military systems (HACMS) program.