*************************************************************** 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