This was a project I did during my undergrad when I was still learning about where I wanted to go with my security research. As with many projects, this was not completed meaningfully. The text below is my hopeful, naïve self expecting to solve a hard formal analysis and reverse engineering problem. The subsequent...

Peli cases have a reputation of robustness, and look like a promising way to implement a rugged terminal using a Raspberry Pi.