[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*************************************************************** 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