*************************************************************** Call for participation — ENTROPY 2019 ENabling TRust through Os Proofs … and beYond
16 June 2019
Second International workshop on the use of theorem provers for modelling and verification at the hardware-software interface
https://entropy2019.sciencesconf.org
Co-located with EuroS&P'19, KTH, Stockholm, June 2019 ***************************************************************
PROGRAM HIGHLIGHTS
Formal Proof of a Secure OS Full Trusted Computing Base by Dominique Bolignano, Prove & Run
Time protection: principled prevention of timing channels by Gernot Heiser, University of New South Wales
Proving the security of interrupt handling against interrupt-based side-channel attacks: a case study by Frank Piessens, KU Leuven
Nailing Down the Architectural Abstraction by Peter Sewell, University of Cambridge