* [Caml-list] ENTROPY 2019: Call for Participation - Co-located with EuroS&P'19
@ 2019-05-21 14:49 David Nowak
0 siblings, 0 replies; only message in thread
From: David Nowak @ 2019-05-21 14:49 UTC (permalink / raw)
To: pip-club, agda, acl2, caml-list, transform, logic-ml, jssst-ppl,
types-announce@lists.seas.upenn.edu, coq-club,
gdr-securite.forum
***************************************************************
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2019-05-21 14:49 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-05-21 14:49 [Caml-list] ENTROPY 2019: Call for Participation - Co-located with EuroS&P'19 David Nowak
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox