2008 (2)
- S. Maffeis, M. Abadi, C. Fournet, A. Gordon, Code Carrying Authorization, 2008
- S. Maffeis, J.C. Mitchell, A. Taly, An Operational Semantics for JavaScript, Proc. of APLAS'08, volume 5356, pp.307–325, 2008, See also: Dep. of Computing, Imperial College London, Technical Report DTR08-13, 2008.
