[pepm'22] Semi-automatic Ladderisation: Improving Code Security Through Rewriting And Depe
Synopsis
Title:[PEPM'22] Semi-Automatic Ladderisation: Improving Code Security through Rewriting and Dependent Types ...
You Might Also Like
![[PEPM'22] On Type-Based Techniques for Program Manipulation](https://i.ytimg.com/vi/wcmpbcJn50I/hq720.jpg?sqp=-oaymwE2CNAFEJQDSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB_gmAAtAFigIMCAAQARhlIGUoZTAP&rs=AOn4CLDk4hyUY4-_O4wGBxAVkRDLPRUWUA)
![[PEPM'22] A partial history of partial evaluation](https://i.ytimg.com/vi/-PbO-hDzvoc/hq720.jpg?sqp=-oaymwE2CNAFEJQDSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB_gmAAtAFigIMCAAQARhlIGUoZTAP&rs=AOn4CLBeHJpPhisdxrKMy5HP4DVi6dIpEA)
![[PriSC'22] Composing Secure Compilers](https://i.ytimg.com/vi/OtR_6Paehms/hq720.jpg?sqp=-oaymwE2CNAFEJQDSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB_gmAAtAFigIMCAAQARg7IGQoZTAP&rs=AOn4CLAnZn4Be25PE0BA954E795MdoeUCA)
Download Options
Choose a download method below. All links open in new tabs.
| Service | Features | Action |
|---|---|---|
| Ssvid |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
| 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.