Henrik Karlsson

Henrik Karlsson is a doctoral researcher at the Division of Theoretical Computer Science (TCS) within the School of Electrical Engineering and Computer Science (EECS) at KTH Royal Institute of Technology. He is affiliated with the Center for Cyber Defense and Information Security (CDIS) and the Secure and Trustworthy Execution Platform (STEP) research group.

Education:

• MSc in Computer Science, KTH
• BSc in Computer Science and Engineering, KTH

Research Focus: Henrik specializes in computer security and formal methods, particularly in the design, implementation, and verification of separation kernels for RISC-V architecture. His work on the S3K kernel exemplifies his contributions to secure embedded systems.

Teaching Activities:

• Assistant for Computer Security (DD2395)
• Assistant for Computer Security (DD238U)
• Assistant for Parallel and Distributed Computing (DD2443)
• Assistant for Project Course in System Security (DD2497)

Software Projects:

• S3K: Capability-based separation kernel for embedded RISC-V
• libserio: Minimal serial I/O library for embedded systems
• HolBA: Binary analysis in HOL
• openmz: Security kernel for RISC-V targeting secure coprocessors