io-port.net

io-port 50215712 Bengtson, Jesper; Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Maffeis, Sergio

Refinement types for secure implementations (English)

ACM Trans. Program. Lang. Syst. 33, No. 2, 8 (2011).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70019157 Maffeis, Sergio; Mitchell, John C.; Taly, Ankur

Object capabilities and isolation of untrusted web applications (English)

IEEE Symposium on Security and Privacy, 125-140 (2010).

2

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05616827 Maffeis, Sergio; Mitchell, John C.; Taly, Ankur

Isolating JavaScript with filters, rewriting, and wrappers. (English)

Backes, Michael (ed.) et al., Computer security ‒ ESORICS 2009. 14th European symposium on research in computer security, Saint-Malo, France, September 21‒23, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04443-4/pbk). Lecture Notes in Computer Science 5789, 505-522 (2009).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70580817 Maffeis, Sergio; Taly, Ankur

Language-based isolation of untrusted javascript (English)

CSF, 77-91 (2009).

4

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 71015900 Maffeis, Sergio; Mitchell, John C.; Taly, Ankur

Isolating javascript with filters, rewriting, and wrappers (English)

ESORICS, 505-522 (2009).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05488162 Maffeis, Sergio; Mitchell, John C.; Taly, Ankur

An operational semantics for JavaScript. (English)

Ramalingam, G. (ed.), Programming languages and systems. 6th Asian symposium, APLAS 2008, Bangalore, India, December 9‒11, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89329-5/pbk). Lecture Notes in Computer Science 5356, 307-325 (2008).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05417865 Haagensen, Bjørn; Maffeis, Sergio; Phillips, Iain

Matching systems for concurrent calculi. (English)

Electron. Notes Theor. Comput. Sci. 194, No. 2, 85-99 (2008).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05357678 Maffeis, Sergio; Abadi, Martín; Fournet, Cédric; Gordon, Andrew D.

Code-carrying authorization. (English)

Jajodia, Sushil (ed.) et al., Computer security ‒ ESORICS 2008. 13th European symposium on research in computer security, Málaga, Spain, October 6‒8, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88312-8/pbk). Lecture Notes in Computer Science 5283, 563-579 (2008).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05242670 Maffeis, Sergio; Gardner, Philippa

Behavioural equivalences for dynamic web data. (English)

J. Log. Algebr. Program. 75, No. 1, 86-138 (2008).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70581023 Bengtson, Jesper; Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Maffeis, Sergio

Refinement types for secure implementations (English)

CSF, 17-32 (2008).

10

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70671430 Maffeis, Sergio; Mitchell, John C.; Taly, Ankur

An operational semantics for javascript (English)

APLAS, 307-325 (2008).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 71016133 Maffeis, Sergio; Abadi, Martín; Fournet, Cédric; Gordon, Andrew D.

Code-carrying authorization (English)

ESORICS, 563-579 (2008).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05605124 Maffeis, Sergio

Dynamic web data and process calculi. (English)

Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 93, 76-97 (2007).

13

PDF XML AMS-TeX TEXT BIBTeX

io-port 05459387 Fournet, Cédric; Gordon, Andrew D.; Maffeis, Sergio

A type discipline for authorization policies. (English)

ACM Trans. Program. Lang. Syst. 29, No. 5 (2007).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70580994 Fournet, Cédric; Gordon, Andy; Maffeis, Sergio

A type discipline for authorization in distributed systems (English)

CSF, 31-48 (2007).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05417206 Maffeis, Sergio

Process calculi and peer-to-peer web data integration. (English)

Electron. Notes Theor. Comput. Sci. 162, 233-236 (2006).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05416181 Maffeis, Sergio

Sequence types for the {\it pi}-calculus. (English)

Electron. Notes Theor. Comput. Sci. 136, 117-132 (2005).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02207192 Gardner, Philippa; Maffeis, Sergio

Modelling dynamic web data. (English)

Theor. Comput. Sci. 342, No. 1, 104-131 (2005).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02205046 Fournet, Cédric; Gordon, Andrew D.; Maffeis, Sergio

A type discipline for authorization policies. (English)

Sagiv, Mooly (ed.), Programming languages and systems. 14th European symposium on programming, ESOP 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4‒8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25435-8/pbk). Lecture Notes in Computer Science 3444, 141-156 (2005).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02136587 Maffeis, Sergio; Phillips, Iain

On the computational strength of pure ambient calculi. (English)

Theor. Comput. Sci. 330, No. 3, 501-551 (2005).

20

PDF XML AMS-TeX TEXT BIBTeX DOI