Short Paper: On High-Assurance Information-Flow-Secure Programming Languages
Toby’s current research focuses, among other things, on the formal verification of security properties of microkernel-based systems in the context of the seL4 kernel, and on how to dramatically reduce the cost of producing verified systems code, like file systems, by leveraging domain-specific languages and automated and interactive verification.
Mon 6 Jul
|14:50 - 15:10|
|15:10 - 15:30|