- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c14 |      | Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis: Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage. POST 2013: 126-146 |
| 2012 | ||
| c13 | | Chetan Bansal, Karthikeyan Bhargavan, Sergio Maffeis: Discovering Concrete Attacks on Website Authorization by Formal Analysis. CSF 2012: 247-262 |
| c12 | | Philippa Gardner, Sergio Maffeis, Gareth David Smith: Towards a program logic for JavaScript. POPL 2012: 31-44 |
| 2011 | ||
| j13 | | Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis: Refinement types for secure implementations. ACM Trans. Program. Lang. Syst. 33(2): 8 (2011) |
| 2010 | ||
| c11 | | Sergio Maffeis, John C. Mitchell, Ankur Taly: Object Capabilities and Isolation of Untrusted Web Applications. IEEE Symposium on Security and Privacy 2010: 125-140 |
| 2009 | ||
| c10 | | |
| c9 | | Sergio Maffeis, John C. Mitchell, Ankur Taly: Isolating JavaScript with Filters, Rewriting, and Wrappers. ESORICS 2009: 505-522 |
| 2008 | ||
| j12 | | Bjørn Haagensen, Sergio Maffeis, Iain Phillips: Matching Systems for Concurrent Calculi. Electr. Notes Theor. Comput. Sci. 194(2): 85-99 (2008) |
| j11 | | Sergio Maffeis, Philippa Gardner: Behavioural equivalences for dynamic Web data. J. Log. Algebr. Program. 75(1): 86-138 (2008) |
| c8 | | Sergio Maffeis, John C. Mitchell, Ankur Taly: An Operational Semantics for JavaScript. APLAS 2008: 307-325 |
| c7 | | Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis: Refinement Types for Secure Implementations. CSF 2008: 17-32 |
| c6 | | Sergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon: Code-Carrying Authorization. ESORICS 2008: 563-579 |
| 2007 | ||
| j10 |  | |
| j9 | | Cédric Fournet, Andrew D. Gordon, Sergio Maffeis: A type discipline for authorization policies. ACM Trans. Program. Lang. Syst. 29(5) (2007) |
| c5 | | Cédric Fournet, Andy Gordon, Sergio Maffeis: A Type Discipline for Authorization in Distributed Systems. CSF 2007: 31-48 |
| 2006 | ||
| j8 | | Sergio Maffeis: Process Calculi and Peer-to-peer Web Data Integration. Electr. Notes Theor. Comput. Sci. 162: 233-236 (2006) |
| 2005 | ||
| j7 | | Sergio Maffeis: Sequence Types for the pi-calculus. Electr. Notes Theor. Comput. Sci. 136: 117-132 (2005) |
| j6 | | Sergio Maffeis, Iain Phillips: On the computational strength of pure ambient calculi. Theor. Comput. Sci. 330(3): 501-551 (2005) |
| j5 | | Philippa Gardner, Sergio Maffeis: Modelling dynamic web data. Theor. Comput. Sci. 342(1): 104-131 (2005) |
| c4 | | Cédric Fournet, Andrew D. Gordon, Sergio Maffeis: A Type Discipline for Authorization Policies. ESOP 2005: 141-156 |
| 2004 | ||
| j4 | | Sergio Maffeis, Iain Phillips: On the Computational Strength of Pure Ambient Calculi. Electr. Notes Theor. Comput. Sci. 96: 29-49 (2004) |
| j3 | | Francesca Levi, Sergio Maffeis: On abstract interpretation of Mobile Ambients. Inf. Comput. 188(2): 179-240 (2004) |
| c3 | | Sergio Maffeis, Philippa Gardner: Behavioural Equivalences for Dynamic Web Data. IFIP TCS 2004: 535-548 |
| 2003 | ||
| j2 | | Marco Carbone, Sergio Maffeis: On the Expressive Power of Polyadic Synchronisation in pi-calculus. Nord. J. Comput. 10(2): 70-98 (2003) |
| c2 | | |
| 2002 | ||
| j1 | | Marco Carbone, Sergio Maffeis: On the Expressive Power of Polyadic Synchronisation in pi-calculus. Electr. Notes Theor. Comput. Sci. 68(2): 15-32 (2002) |
| 2001 | ||
| c1 | | Francesca Levi, Sergio Maffeis: An Abstract Interpretation Framework for Analysing Mobile Ambients. SAS 2001: 395-411 |
Colors in the list of coauthors
Last update Thu May 23 07:02:16 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page