 | 2009 |
|---|
| 20 |       | Sergio Maffeis,
John C. Mitchell,
Ankur Taly:
Isolating JavaScript with Filters, Rewriting, and Wrappers.
ESORICS 2009: 505-522 |
| 2008 |
|---|
| 19 | | Sergio Maffeis,
John C. Mitchell,
Ankur Taly:
An Operational Semantics for JavaScript.
APLAS 2008: 307-325 |
| 18 | | Jesper Bengtson,
Karthikeyan Bhargavan,
Cédric Fournet,
Andrew D. Gordon,
Sergio Maffeis:
Refinement Types for Secure Implementations.
CSF 2008: 17-32 |
| 17 | | Sergio Maffeis,
Martín Abadi,
Cédric Fournet,
Andrew D. Gordon:
Code-Carrying Authorization.
ESORICS 2008: 563-579 |
| 16 | | Bjørn Haagensen,
Sergio Maffeis,
Iain Phillips:
Matching Systems for Concurrent Calculi.
Electr. Notes Theor. Comput. Sci. 194(2): 85-99 (2008) |
| 15 | | Sergio Maffeis,
Philippa Gardner:
Behavioural equivalences for dynamic Web data.
J. Log. Algebr. Program. 75(1): 86-138 (2008) |
| 2007 |
|---|
| 14 | | Cédric Fournet,
Andy Gordon,
Sergio Maffeis:
A Type Discipline for Authorization in Distributed Systems.
CSF 2007: 31-48 |
| 13 | | Cédric Fournet,
Andrew D. Gordon,
Sergio Maffeis:
A type discipline for authorization policies.
ACM Trans. Program. Lang. Syst. 29(5): (2007) |
| 2006 |
|---|
| 12 | | Sergio Maffeis:
Process Calculi and Peer-to-peer Web Data Integration.
Electr. Notes Theor. Comput. Sci. 162: 233-236 (2006) |
| 2005 |
|---|
| 11 | | Cédric Fournet,
Andrew D. Gordon,
Sergio Maffeis:
A Type Discipline for Authorization Policies.
ESOP 2005: 141-156 |
| 10 | | Sergio Maffeis:
Sequence Types for the pi-calculus.
Electr. Notes Theor. Comput. Sci. 136: 117-132 (2005) |
| 9 | | Sergio Maffeis,
Iain Phillips:
On the computational strength of pure ambient calculi.
Theor. Comput. Sci. 330(3): 501-551 (2005) |
| 8 | | Philippa Gardner,
Sergio Maffeis:
Modelling dynamic web data.
Theor. Comput. Sci. 342(1): 104-131 (2005) |
| 2004 |
|---|
| 7 |  | Sergio Maffeis,
Philippa Gardner:
Behavioural Equivalences for Dynamic Web Data.
IFIP TCS 2004: 535-548 |
| 6 | | Sergio Maffeis,
Iain Phillips:
On the Computational Strength of Pure Ambient Calculi.
Electr. Notes Theor. Comput. Sci. 96: 29-49 (2004) |
| 5 | | Francesca Levi,
Sergio Maffeis:
On abstract interpretation of Mobile Ambients.
Inf. Comput. 188(2): 179-240 (2004) |
| 2003 |
|---|
| 4 | | Philippa Gardner,
Sergio Maffeis:
Modelling Dynamic Web Data.
DBPL 2003: 130-146 |
| 3 | | Marco Carbone,
Sergio Maffeis:
On the Expressive Power of Polyadic Synchronisation in pi-calculus.
Nord. J. Comput. 10(2): 70-98 (2003) |
| 2002 |
|---|
| 2 | | Marco Carbone,
Sergio Maffeis:
On the Expressive Power of Polyadic Synchronisation in pi-calculus.
Electr. Notes Theor. Comput. Sci. 68(2): (2002) |
| 2001 |
|---|
| 1 | | Francesca Levi,
Sergio Maffeis:
An Abstract Interpretation Framework for Analysing Mobile Ambients.
SAS 2001: 395-411 |
