Research Project Title:
Building an Inherently Secure Computer System
abstract:Most computer systems today are built from inherently insecure programming languages such as C and C++. These computer systems are often attacked through various exploits such as buffer overflows and other memory corruption vulnerabilities. Although there are many defenses to memory corruption exploits, attackers often find new exploits that get around these defenses. Thus, we wish to aid efforts to build an inherently secure computer system from scratch, which is not vulnerable to such exploits. This new machine has been built using the safe programming language Rust and the kernel Tock. The goal of this project is to develop secure memory management for such an inherently secure machine.
"I am participating in SuperUROP because I want to learn how to ask interesting questions and come up with innovative ways to solve them in a research setting. I am really excited to get hands-on experience doing research in security and cryptography."