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.
  • 2N. Bielova, T. Rezk.

    A Taxonomy of Information Flow Monitors, in: International Conference on Principles of Security and Trust (POST 2016), Eindhoven, Netherlands, F. Piessens, L. Viganò (editors), LNCS - Lecture Notes in Computer Science, Springer, April 2016, vol. 9635, pp. 46–67. [ DOI : 10.1007/978-3-662-49635-0_3 ]

    https://hal.inria.fr/hal-01348188
  • 3G. Boudol, I. Castellani.

    Noninterference for Concurrent Programs and Thread Systems, in: Theoretical Computer Science, 2002, vol. 281, no 1, pp. 109-130.
  • 4G. 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.
  • 5S. 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
  • 6S. Capecchi, I. Castellani, M. Dezani-Ciancaglini.

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

    https://hal.inria.fr/hal-01237236
  • 7C. 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.
  • 8M. 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
  • 9M. 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.
  • 10M. 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

Articles in International Peer-Reviewed Journals

  • 11I. Castellani, M. Reza Mousavi.

    Preface: Special issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2014 and 2015), in: Journal of Logical and Algebraic Methods in Programming, 2017, vol. 87. [ DOI : 10.1016/j.jlamp.2017.01.002 ]

    https://hal.inria.fr/hal-01648477
  • 12C. Zieliński, M. Stefańczyk, T. Kornuta, M. Figat, W. Dudek, W. Szynkiewicz, W. Kasprzak, J. Figat, M. Szlenk, T. Winiarski, K. Banachowicz, T. Zielińska, E. G. Tsardoulias, A. L. Symeonidis, F. E. Psomopoulos, A. M. Kintsakis, P. A. Mitkas, A. Thallas, S. E. Reppou, G. T. Karagiannis, K. Panayiotou, V. Prunet, M. Serrano, J.-P. Merlet, S. Arampatzis, A. Giokas, L. Penteridis, I. Trochidis, D. Daney, M. Iturburu.

    Variable structure robot control systems: The RAPP approach, in: Robotics and Autonomous Systems, August 2017, vol. 94, 18 p. [ DOI : 10.1016/j.robot.2017.05.002 ]

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

Invited Conferences

  • 13T. Jensen, N. Bielova, F. Besson.

    Hybrid information flow analysis against web tracking (invited talk), in: The 12th International Conference on Risks and Security of Internet and Systems (CRiSIS 2017), Dinard, France, September 2017.

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

International Conferences with Proceedings

  • 14I. Castellani, M. Dezani-Ciancaglini, P. Giannini.

    Concurrent Reversible Sessions, in: CONCUR 2017 - 28th International Conference on Concurrency Theory, Berlin, Germany, CONCUR 2017, Roland Meyer and Uwe Nestmann, September 2017, vol. 85, pp. 1-17. [ DOI : 10.4230/LIPIcs.CONCUR.2017.30 ]

    https://hal.inria.fr/hal-01639845
  • 15T. Rezk, R. Cruz, B. P. Serpette, É. Tanter.

    Type Abstraction for Relaxed Noninterference (Artifact) *, in: ECOOP 2017: The 31st European Conference on Object-Oriented Programming, Barcelona, Spain, June 2017, vol. 74, pp. 1 - 7. [ DOI : 10.4230/DARTS.3.2.9 ]

    https://hal.inria.fr/hal-01644835
  • 16D. F. Somé, N. Bielova, T. Rezk.

    Control What You Include! Server-Side Protection Against Third Party Web Tracking, in: International Symposium on Engineering Secure Software and Systems, Bonn, Germany, E. Bodden, M. Payer, E. Athanasopoulos (editors), Springer, July 2017, pp. 115-132. [ DOI : 10.1007/978-3-319-62105-0 ]

    https://hal.inria.fr/hal-01649547
  • 17D. F. Somé, N. Bielova, T. Rezk.

    On the Content Security Policy Violations due to the Same-Origin Policy, in: WWW 2017 - 26th International Conference on World Wide Web, Perth, Australia, Proceedings of the 26th International Conference on World Wide Web, ACM, April 2017, pp. 877-886. [ DOI : 10.1145/3038912.3052634 ]

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

National Conferences with Proceedings

  • 18B. P. Serpette, D. Janin.

    Causalité dans les calculs d'événements, in: JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Gourette, France, January 2017.

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

Scientific Popularization