Building Secure Web Applications With Automatic Partitioning
Swift is a new, principled approach to building Web applications that are secure by construction. Swift automatically partitions application code while providing assurance that the resulting placement is secure and efficient.
