[prisc'22] Composing Secure Compilers
Synopsis
Compilers translate one programming language into another. In practice, they are not monolithic but rather an instance of several ...
You Might Also Like
![[PriSC'22] SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn](https://i.ytimg.com/vi/JdkQuMpJv7o/hq720.jpg?sqp=-oaymwE2CNAFEJQDSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB_gmAAtAFigIMCAAQARhlIGUoZTAP&rs=AOn4CLADv6pxl6A3wNEZFqJq84K0pq0HSQ)
![[PriSC'22] The Fox and the Hound (Episode 2): Fully Abstract, Robust Compilation and How t](https://i.ytimg.com/vi/XM-oIiG434Q/hq720.jpg?sqp=-oaymwE2CNAFEJQDSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB_gmAAtAFigIMCAAQARhQIF0oZTAP&rs=AOn4CLCoxJk4L-lCsj4snccqAmisUX29dA)
![[PEPM'22] Semi-Automatic Ladderisation: Improving Code Security through Rewriting and Depe](https://i.ytimg.com/vi/osPiwxJ60T4/hq720.jpg?sqp=-oaymwE2CNAFEJQDSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB_gmAAtAFigIMCAAQARhlIGUoZTAP&rs=AOn4CLApUDIifdZ8t9dz6sGU_e7lQe-Kng)
![[PriSC'22] The Supervisionary proof-checking kernel, or: a work-in-progress toward proof-g](https://i.ytimg.com/vi/4iOTl-XowAo/hq720.jpg?sqp=-oaymwE2CNAFEJQDSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB_gmAAtAFigIMCAAQARhlIF8oWTAP&rs=AOn4CLC5AqSwPjQOE_GtRoUaAuHjJ_RI8A)
![[PEPM'22] Two-level Just-in-Time Compilation with One Interpreter and One Engine](https://i.ytimg.com/vi/FXTEzF5iOog/hq720.jpg?sqp=-oaymwE2CNAFEJQDSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB_gmAAtAFigIMCAAQARhlIFcoTTAP&rs=AOn4CLDUVuInhdW0sMtmPEaK2Z3yVfXdcA)
Download Options
Choose a download method below. All links open in new tabs.
| Service | Features | Action |
|---|---|---|
| SaveFrom |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.