Treffer: Secure compilation of a multi-tier web language

Title:
Secure compilation of a multi-tier web language
Authors:
Baltopoulos, Ioannis G., Gordon, Andrew D.
Source:
Proceedings of the 4th international workshop on Types in language design and implementation. :27-38
Availability:
http://dl.acm.org/doi/10.1145/1481861.1481866
Database:
ACM Full-Text Collection