Dualbooting Arch Linux and Windows with Full-System Encryption

Thomas Ekström Hansen

PhD student in Computer Science

My research interests include low-level programming, type systems, and formal methods.