Homepage Inria website


Major publications by the team in recent years
  • 1G. Barthe, T. Rezk, A. Russo, A. Sabelfeld.

    Security of Multithreaded Programs by Compilation, in: ESORICS, 2007, pp. 2-18.
  • 2G. Boudol, I. Castellani.

    Noninterference for Concurrent Programs and Thread Systems, in: Theoretical Computer Science, 2002, vol. 281, no 1, pp. 109-130.
  • 3G. Boudol, Z. Luo, T. Rezk, M. Serrano.

    Reasoning about Web Applications: An Operational Semantics for HOP, in: ACM Transactions on Programming Languages and Systems (TOPLAS), 2012, vol. 34, no 2.
  • 4C. Fournet, T. Rezk.

    Cryptographically sound implementations for typed information-flow security, in: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, 2008, pp. 323-335.
  • 5M. Serrano, G. Berry.

    Multitier Programming in Hop - A first step toward programming 21st-century applications, in: Communications of the ACM, August 2012, vol. 55, no 8, pp. 53–59. [ DOI : 10.1145/2240236.2240253 ]

  • 6M. Serrano, E. Gallesio, F. Loitsch.

    HOP, a language for programming the Web 2.0, in: Proceedings of the First Dynamic Languages Symposium, Portland, Oregon, USA, October 2006.
  • 7M. Serrano.

    Bee: an Integrated Development Environment for the Scheme Programming Language, in: Journal of Functional Programming, May 2000, vol. 10, no 2, pp. 1–43.
Publications of the year

Doctoral Dissertations and Habilitation Theses

  • 8J. Grande.

    Conception et implémentation d’un langage de programmation concurrente modulaire, Université Nice Sophia Antipolis, September 2015.


Articles in International Peer-Reviewed Journals

  • 9S. Capecchi, I. Castellani, M. Dezani-Ciancaglini.

    Information Flow Safety in Multiparty Sessions, in: Mathematical Structures in Computer Science, 2015, 43 p. [ DOI : 10.1017/S0960129514000619 ]


International Conferences with Proceedings

  • 10Y. Couillec, M. Serrano.

    Requesting Heterogeneous Data Sourceswith Array Comprehensions in Hop.js, in: 15th Symposium on Database Programming Languages, Pittsburgh, United States, ACM, October 2015, 4 p.

  • 11J. Fragoso Santos, T. Jensen, T. Rezk, A. Schmitt.

    Hybrid Typing of Secure Information Flow in a JavaScript-like Language, in: 10th International Symposium on Trustworthy Global Computing (TGC 2015), Madrid, Spain, August 2015.

  • 12J. Fragoso Santos, T. Rezk, A. Almeida Matos.

    Modular Monitor Extensions for Information Flow Security in JavaScript, in: Trustworthy Global Computing, Madrid, Spain, 2015.

  • 13J. Grande, G. Boudol, M. Serrano.

    Jthread, a deadlock-free mutex library, in: 17th International Symposium on Principles and Practice of Declarative Programming, Sienne, Italy, July 2015, 12 p. [ DOI : 10.1145/2790449.2790523 ]


Scientific Books (or Scientific Book chapters)

  • 14M. Iturburu, E. Goiburu, J. Yanguas, E. Andueza, E. Corral, C. Alderete, A. Orbegozo, D. Daney, V. Prunet, J.-P. Merlet.

    User Needs and Requirements for the Mobility Assistance and Activity Monitoring Scenario within the RAPP Project, in: Progress in Automation, Robotics and Measuring Techniques, R. Szewczyk, C. Zieliński, M. Kaliczyńska (editors), Springer International Publishing, 2015, vol. 351, pp. 105-117. [ DOI : 10.1007/978-3-319-15847-1_11 ]


Internal Reports