Cornell – Secure Web Applications via Automatic Partitioning

Cornell - Secure Web Applications via Automatic Partitioning

This abstract paper from Cornell introduces the Swift system, a way to write web applications that are secure by construction.