The KTH Royal Institute of Technology is the largest and oldest technical university in Sweden.
As part of the department for Theoretical Computer Science
Professor Mads Dam leads an internationally well recognized research group with extensive experience in software security.
Areas of expertize include security specification and analysis techniques, software and systems monitoring,
information flow control, authorization and access control, and most recently, provably secure execution platforms.
KTH will take responsibility for the formal security specification and verification of the platform kernel.
The project fits KTH's interest profile well and manifests the research work in usable and secure products.
Contact: Mads Dam