Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Maximilian Algehed, Alejandro Russo, Cormac Flanagan. Optimising Faceted Secure Multi-Execution. In 32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019. pages 1-16, IEEE, 2019. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Faceted Secure Multi ExecutionThomas Schmitz, Maximilian Algehed, Cormac Flanagan, Alejandro Russo. ccs 2018: 1617-1634 [doi] Secure Multi-execution in HaskellMauro Jaskelioff, Alejandro Russo. ershov 2012: 170-178 [doi] Faceted execution of policy-agnostic programsThomas H. Austin, Jean Yang, Cormac Flanagan, Armando Solar-Lezama. PLDI 2013: 15-26 [doi]
The following publications are possibly variants of this publication: