Language-Based Security

Programming language design affects the ability of software engineers to enforce security guarantees while maintaining productivity and performance expectations. A recent example can be a language such as Rust where ownership and immutability guarantees avoid the need for manual reference management and Grabage Collection to produce fast and efficient yet secure systems programming language.

Together with our colleagues at the Carnegie Mellon University (CMU) in the USA, we have been working on designing general purpose programming language called Wyvern (https://wyvernlang.github.io/) that prioritises security and usability from the ground up and served as the basis for introduction of novel architecture wide security enforcement features that are being adopted by the programming language community.