#Software and Computational Systems
Provenance Management Overview Provenance refers to the chain of successive custody—including sources and operations of resources such as hardware, software, […]
TrustStoreTM We cannot take the things we treasure with us everywhere we go. Sometimes we do not even have […]
Security and privacy protections are needed to increase the confidence on the wide deployment of Internet of Things (IoT) applications. […]
Encrypted Database Management
Database services in the cloud are attracting more companies to outsource their databases, since in this way the companies do […]
Mu: A Micro-Virtual-Machine for Managed Languages
Mu is a micro-virtual-machine targeted at managed languages and intended as a verification target.
A formally verified, optimising ML compiler, developed in collaboration with Cambridge, Chalmers, and Kent.
Concurrency and Protocol Verification
Formal models of concurrency and distributed systems for the specification, analysis and verification of network protocols and operating systems.
Mixed-Criticality Real-Time Systems
Microkernel mechanisms and execution time models for building complex systems that not only deliver, but deliver on time.