#Software and Computational Systems
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.
Alternatives to Passwords
Passwords are susceptible to observation, i.e., someone watching a user, either directly or through a hidden camera, typing his/her password […]
Data Driven Security
You need to know what is happening around you in order to set up appropriate defences. That is why we […]
PrivMetrics: A Framework to Secure User Privacy in Smartphones
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 […]
The eChronos Real-Time Operating System
eChronos is a small, versatile, high-assurance real-time operating system (OS) for embedded micro-controllers.