caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] ENTROPY 2019: Call for Participation - Co-located with EuroS&P'19
@ 2019-05-21 14:50 David Nowak
  0 siblings, 0 replies; 1+ messages in thread
From: David Nowak @ 2019-05-21 14:50 UTC (permalink / raw)
  To: pip-club, agda, acl2, caml-list, transform, logic-ml, jssst-ppl, types-announce, 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] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-05-21 14:50 [Caml-list] ENTROPY 2019: Call for Participation - Co-located with EuroS&P'19 David Nowak

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox