The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.
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.
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
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
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