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 Mads Dam (main) and Roberto Guanciale.

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

Teaching Assistance

DD2443 Parallel and Distributed Computing
Contact me via Canvas or email for help with exercises and labs.

DD239U Computer Security
You can contact me via Canvas or email for any problem with Canvas, the CYBER grading server or GPG lab.

DD2395 Computer Security
I only manage the DASAK grading server and the git labs for this course, do not contact me for other matters.