2014 (1)
- Martin Bodin, Arthur Chargueraud, Daniele Filaretti, Philippa Gardner andDaiva Naudziuniene, Sergio Maffeis, Alan Schmitt andGareth Smith, A Trusted Mechanised JavaScript Specification, POPL, 2014
2013 (2)
- Karthikeyan Bhargavan andAntoine Delignat-Lavaud andSergio Maffeis, Language-based Defenses Against Untrusted Browser Origins, USENIX Security, 2013
- Chetan Bansal andKarthikeyan Bhargavan andAntoine Delignat-Lavaud andSergio Maffeis, Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage, POST, 2013
2012 (2)
- Chetan Bansal andKarthikeyan Bhargavan andSergio Maffeis, Discovering Concrete Attacks on Website Authorization byFormal Analysis, CSF, pp.247-262, 2012
- Philippa Gardner andSergio Maffeis andGareth David Smith, Towards a program logic for JavaScript, POPL, pp.31-44, 2012
2011 (1)
- Jesper Bengtson andKarthikeyan Bhargavan andC'edric Fournet andAndrew D. Gordon andSergio Maffeis, Refinement types for secure implementations, ACM Trans. Program. Lang. Syst., volume 33, pp.8, 2011
2010 (1)
- S. Maffeis, J.C. Mitchell, A. Taly, Object Capabilities and Isolation of Untrusted Web Applications, Proc of IEEE Security and Privacy'10, 2010
2009 (3)
- S. Maffeis, J.C. Mitchell, A. Taly, Isolating JavaScript with Filters, Rewriting, and Wrappers, Proc of ESORICS'09, 2009
- S. Maffeis, J.C. Mitchell, A. Taly, Run-Time Enforcement of Secure JavaScript Subsets, Proc of W2SP'09, 2009
- S. Maffeis, A. Taly, Language-based Isolation of Untrusted Javascript, Proc. of CSF'09, 2009, See also: Dep. of Computing, Imperial College London, Technical Report DTR09-3, 2009.
