Henrik Karlsson

Henrik Karlsson is a doctoral student in Computer Science at the Division of Theoretical Computer Science (TCS) at the School of Electrical Engineering and Computer Science (EECS) at KTH. Henrik is affiliated with theCenter for Cyber Defense and Information Security (CDIS) and Secure and Trustworthy Execution Platform (STEP) research group at KTH. He has an MSc in Computer Science and a BSc in Computer Science and Engineering, both from KTH. Henrik's research interests are computer security and formal methods. Henrik's supervisors are Roberto Guanciale(main) and  Mads Dam.

Currently, Henrik is working on the design, implementation and verification of separation kernels, in particular S3K, a separation kernel for RISC-V.

GPG key (fingerprint: F44D 6859 1A22 5604 4CE5 CACE BAD1 E9D0 AA03 67E6)