Using formal proof and microkernel mechanisms to build secure autonomous vehicles in DARPA's high assurance cyber military systems (HACMS) program.
Passwords are susceptible to observation, i.e., someone watching a user, either directly or through a hidden camera, typing his/her password […]
You need to know what is happening around you in order to set up appropriate defences. That is why we […]
Smartphone usage is increasing and at present most of us use smartphone. The usage of a smartphone is tightly associated […]
All organisations need to comply with legislation or codes of conduct. These tend to be complex, and it is a […]
seL4 is a high-assurance, high-performance microkernel developed and formally verified by the Trustworthy Systems Group at Data61. It is the world's most […]
A simulator for Wireless Sensor Networks (WSN), Body Area Networks (BAN), and generally networks of low-power embedded devices. It offers […]
eChronos is a small, versatile, high-assurance real-time operating system (OS) for embedded micro-controllers.
With the rapid growth of portable computing devices and the increasing adoption of cloud-based software solutions, enterprise data are being […]
