Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Sergio Maffeis" ( http://dblp.L3S.de/Authors/Sergio_Maffeis )

URL (Homepage):  http://www.doc.ic.ac.uk/~maffeis/  Author page on DBLP  Author page in RDF  Community of Sergio Maffeis in ASPL-2

Publication years (Num. hits)
2001-2007 (15) 2008-2012 (10)
Publication types (Num. hits)
article(13) inproceedings(12)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(5) CSF(3) ACM Trans. Program. Lang. Syst...(2) ESORICS(2) Theor. Comput. Sci.(2) APLAS(1) Bulletin of the EATCS(1) DBPL(1) ESOP(1) IEEE Symposium on Security and...(1) IFIP TCS(1) Inf. Comput.(1) J. Log. Algebr. Program.(1) Nord. J. Comput.(1) POPL(1) SAS(1)
Authors
Sergio Maffeis(25) Cédric Fournet(6) Andrew D. Gordon(5) Philippa Gardner(5) Ankur Taly(4) Iain Phillips(3) John C. Mitchell(3) Francesca Levi(2) Jesper Bengtson(2) Karthikeyan Bhargavan(2) Marco Carbone(2) Andy Gordon(1) Bjørn Haagensen(1) Gareth David Smith(1) Martín Abadi(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 13 occurrences of 12 keywords
Results
Found 25 publication records. Showing 25 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Philippa Gardner, Sergio Maffeis, Gareth David Smith Towards a program logic for JavaScript. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis Refinement types for secure implementations. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sergio Maffeis, John C. Mitchell, Ankur Taly Object Capabilities and Isolation of Untrusted Web Applications. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Operational Semantics, JavaScript, Capabilities, Language-based Security
1Sergio Maffeis, Ankur Taly Language-Based Isolation of Untrusted JavaScript. Search on Bibsonomy CSF The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Security, JavaScript, Facebook, Isolation, Subsetting
1Sergio Maffeis, John C. Mitchell, Ankur Taly Isolating JavaScript with Filters, Rewriting, and Wrappers. Search on Bibsonomy ESORICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sergio Maffeis, Philippa Gardner Behavioural equivalences for dynamic Web data. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bjørn Haagensen, Sergio Maffeis, Iain Phillips Matching Systems for Concurrent Calculi. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis Refinement Types for Secure Implementations. Search on Bibsonomy CSF The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sergio Maffeis, John C. Mitchell, Ankur Taly An Operational Semantics for JavaScript. Search on Bibsonomy APLAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon Code-Carrying Authorization. Search on Bibsonomy ESORICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Cédric Fournet, Andrew D. Gordon, Sergio Maffeis A type discipline for authorization policies. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Authorization, type systems, process calculus, spi calculus
1Sergio Maffeis Dynamic Web Data and Process Calculi. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2007 DBLP  BibTeX  RDF
1Cédric Fournet, Andy Gordon, Sergio Maffeis A Type Discipline for Authorization in Distributed Systems. Search on Bibsonomy CSF The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sergio Maffeis Process Calculi and Peer-to-peer Web Data Integration. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Philippa Gardner, Sergio Maffeis Modelling dynamic web data. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sergio Maffeis, Iain Phillips On the computational strength of pure ambient calculi. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sergio Maffeis Sequence Types for the pi-calculus. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Cédric Fournet, Andrew D. Gordon, Sergio Maffeis A Type Discipline for Authorization Policies. Search on Bibsonomy ESOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Francesca Levi, Sergio Maffeis On abstract interpretation of Mobile Ambients. Search on Bibsonomy Inf. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Sergio Maffeis, Iain Phillips On the Computational Strength of Pure Ambient Calculi. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Sergio Maffeis, Philippa Gardner Behavioural Equivalences for Dynamic Web Data. Search on Bibsonomy IFIP TCS The full citation details ... 2004 DBLP  BibTeX  RDF
1Marco Carbone, Sergio Maffeis On the Expressive Power of Polyadic Synchronisation in pi-calculus. Search on Bibsonomy Nord. J. Comput. The full citation details ... 2003 DBLP  BibTeX  RDF
1Philippa Gardner, Sergio Maffeis Modelling Dynamic Web Data. Search on Bibsonomy DBPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Marco Carbone, Sergio Maffeis On the Expressive Power of Polyadic Synchronisation in pi-calculus. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Francesca Levi, Sergio Maffeis An Abstract Interpretation Framework for Analysing Mobile Ambients. Search on Bibsonomy SAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #25 of 25 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.