EN FR
Homepage Inria website


Bibliography

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 ]

    http://cacm.acm.org/magazines/2012/8/153796-multitier-programming-in-hop/abstract
  • 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

Articles in International Peer-Reviewed Journals

  • 9G. Barthe, D. Pichardie, T. Rezk.

    A certified lightweight non-interference Java bytecode verifier, in: Mathematical Structures in Computer Science, June 2013, vol. 23, no 5, pp. 1032-1081. [ DOI : 10.1017/S0960129512000850 ]

    http://hal.inria.fr/hal-00915189

Invited Conferences

  • 10G. Berry, M. Serrano.

    Hop and HipHop : Multitier Web Orchestration, in: International Conference on Distributed Computing and Internet Technology, Bhubaneswar, India, February 2014.

    http://hal.inria.fr/hal-00911782

International Conferences with Proceedings

  • 11P. Attar, I. Castellani.

    Fine-grained and coarse-grained reactive noninterference, in: Trustworthy Global Computing 2013, Buenos Aires, Argentina, December 2013, To appear in LNCS, Springer.

    http://hal.inria.fr/hal-00915241
  • 12M. Serrano, G. Johan.

    Locking Fast, in: Symposium on Applied Computing, Gyeongju, Korea, Republic Of, ACM, March 2014.

    http://hal.inria.fr/hal-00912569

National Conferences with Proceedings

  • 13J. A. Dit Sandretto, C. Nicolas.

    Cable-Driven Robots with Wireless Control Capability for Pedagogical Illustration in Science, in: CAR - 8th National Conference on "Control Architecure of Robots", Angers, France, May 2013.

    http://hal.inria.fr/hal-00862752

Other Publications