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

David Nowak david.nowak at univ-lille.fr
Tue May 21 16:49:52 CEST 2019


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



More information about the Agda mailing list