A Categorical Approach to Secure Compilation (and others things) (short talk)
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 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
21:00 - 21:30
|A Categorical Approach to Secure Compilation (and others things) (short talk)|
|Contract-aware Secure Compilation (short talk)|