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

  • 8J. Fragoso Santos.

    Enforcing Secure Information Flow in Client-Side Web Applications, University of Nice Sophia Antipolis, December 2014.

    https://hal.inria.fr/tel-01098548

Articles in International Peer-Reviewed Journals

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

    Typing access control and secure information flow in sessions, in: Journal of Information and Computation, 2014, vol. 238, pp. 68 - 105. [ DOI : 10.1016/j.ic.2014.07.005 ]

    https://hal.inria.fr/hal-01088782

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.

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

International Conferences with Proceedings

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

    An Information Flow Monitor for a Core of DOM, in: Symposium on Trustworthy Global Computing (TGC), Rome, Italy, September 2014.

    https://hal.inria.fr/hal-01087375
  • 12F. Besson, N. Bielova, T. Jensen.

    Browser Randomisation against Fingerprinting: A Quantitative Information Flow Approach, in: Nordic Conference on Secure IT Systems (NordSec), Tromsø, Norway, October 2014. [ DOI : 10.1007/978-3-319-11599-3_11 ]

    https://hal.inria.fr/hal-01081037
  • 13I. Castellani, M. Dezani-Ciancaglini, J. A. Perez.

    Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective, in: Third Workshop on Behavioural Types (BEAT), Rome, Italy, Marco Carbone, September 2014, vol. 162, pp. 9 - 18. [ DOI : 10.4204/EPTCS.162.2 ]

    https://hal.inria.fr/hal-01088437
  • 14J. Fragoso Santos, T. Rezk.

    An Information Flow Monitor-Inlining Compiler for Securing a Core of JavaScript, in: IFIP International Information Security and Privacy Conference (IFIP SEC), Marrakesh, Morocco, June 2014, pp. 278 - 292. [ DOI : 10.1007/978-3-642-55415-5_23 ]

    https://hal.inria.fr/hal-01087374
  • 15F. Psomopoulos, E. Tsardoulias, A. Giokas, C. Zielinski, V. Prunet, I. Trochidis, D. Daney, M. Serrano, L. Courtes, S. Arampatzis, P. A. Mitkas.

    RAPP System Architecture, in: Assistance and Service Robotics in a Human Environment, IEEE/RSJ International Conference on Intelligent Robots and Systems, chicago, United States, September 2014.

    https://hal.inria.fr/hal-01090891
  • 16M. Serrano, G. Johan.

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

    https://hal.inria.fr/hal-00912569
  • 17M. Serrano.

    A Multitier Debugger for Web Applications, in: WEBIST'14, Barcelone, Spain, April 2014.

    https://hal.inria.fr/hal-00980605
  • 18M. Vanhoef, W. De Groef, D. Devriese, F. Piessens, T. Rezk.

    Stateful Declassification Policies for Event-Driven Programs, in: Computer Security Foundations (CSF'14), Viena, Austria, July 2014, pp. 293 - 307. [ DOI : 10.1109/CSF.2014.28 ]

    https://hal.inria.fr/hal-01098443
  • 19T. Vissers, N. Nikiforakis, N. Bielova, W. Joosen.

    Crying Wolf? On the Price Discrimination of Online Airline Tickets, in: 7th Workshop on Hot Topics in Privacy Enhancing Technologies (HotPETs), Amsterdam, Netherlands, July 2014.

    https://hal.inria.fr/hal-01081034

Internal Reports