The development and maintenance of the Swift system has been supported by NSF grants 0430161 and 0627649, and by TRUST (supported by NSF, AFOSR, and industrial partners).
Swift: making web applications
Swift is a new, principled approach to building web applications that are secure by construction. Web applications are hard to build because code and data need to be partitioned to make them responsive. They are also hard to build because code and data need to be partitioned for security. Currently there are no good methods for deciding when it is secure to move code and data to the client side.
Because of the connection (and tension) between the problems of security and interactive performance, Swift addresses both at once, automatically partitioning application code while providing assurance that the resulting placement is secure and efficient.
Example Swift applications