Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Sun 17 Jan 2021 21:00 - 21:15 at PriSC - Short talks Chair(s): Deian Stefan

We introduce a novel approach to secure compilation based on maps of distributive laws. We demonstrate through four examples that the coherence criterion for maps of distributive laws can potentially be a viable alternative for compiler security instead of full abstraction, which is the preservation and reflection of contextual equivalence. To that end, we also make use of the well-behavedness properties of distributive laws to construct a categorical argument for the contextual connotations of bisimilarity.

Sun 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

21:00 - 21:30
Short talksPriSC at PriSC
Chair(s): Deian StefanUniversity of California at San Diego, USA
21:00
15m
Talk
A Categorical Approach to Secure Compilation (and others things) (short talk)
PriSC
Stylianos Tsampas, Andreas NuytsKU Leuven, Belgium, Dominique DevrieseVrije Universiteit Brussel, Frank PiessensKU Leuven
21:15
15m
Talk
Contract-aware Secure Compilation (short talk)
PriSC
Marco GuarnieriETH Zurich, Switzerland, Marco PatrignaniStanford University, USA / CISPA, Germany
Pre-print