The research combines world-class research on compilers, programming language semantics and type systems to the design of Project Verona. We aim to provide the secure foundations we need for trusting ...