[TYPES/announce] ENTROPY 2019: Call for Participation - Co-located with EuroS&P'19

[David Nowak]

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