Sites Inria

Version française

INDES Research team

INDES team publications

2018

Conference papers

titre
To Extend or not to Extend
auteur
Gábor György Gulyás, Dolière Francis Somé, Nataliia Bielova, Claude Castelluccia
article
WPES'18 - Workshop on Privacy in the Electronic Society, Oct 2018, Toronto, Canada. ACM Press, pp.14-27, 〈10.1145/3267323.3268959〉
Accès au bibtex
BibTex
titre
Impossibility of Precise and Sound Termination-Sensitive Security Enforcements
auteur
Minh Ngo, Frank Piessens, Tamara Rezk
article
SP 2018 - IEEE Symposium on Security and Privacy, May 2018, San Francisco, United States. IEEE, 2018 IEEE Symposium on Security and Privacy (SP), pp.496-513, 2018, 〈10.1109/SP.2018.00048〉
Accès au bibtex
BibTex
titre
A Better Facet of Dynamic Information Flow Control
auteur
Minh Ngo, Nataliia Bielova, Cormac Flanagan, Tamara Rezk, Alejandro Russo, Thomas Schmitz
article
WWW '18 Companion: The 2018 Web Conference Companion, Apr 2018, Lyon, France. pp.1-9
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01723723/file/main-hal.pdf BibTex

Theses

titre
Web applications Security and Privacy
auteur
Dolière Francis Somé
article
Cryptography and Security [cs.CR]. Université Côte D'Azur, 2018. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01925851/file/tmain.pdf BibTex
titre
Programmation web réactive
auteur
Colin Vidal
article
Web. Université Côte d'Azur, 2018. Français. 〈NNT : 2018AZUR4049〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01900619/file/2018AZUR4049.pdf BibTex

2017

Journal articles

titre
Variable structure robot control systems: The RAPP approach
auteur
Cezary Zieliński, Maciej Stefańczyk, Tomasz Kornuta, Maksym Figat, Wojciech Dudek, Wojciech Szynkiewicz, Włodzimierz Kasprzak, Jan Figat, Marcin Szlenk, Tomasz Winiarski, Konrad Banachowicz, Teresa Zielińska, Emmanouil G. Tsardoulias, Andreas L. Symeonidis, Fotis E. Psomopoulos, Athanassios M. Kintsakis, Pericles A. Mitkas, Aristeidis Thallas, Sofia E. Reppou, George T. Karagiannis, Konstantinos Panayiotou, Vincent Prunet, Manuel Serrano, Jean-Pierre Merlet, Stratos Arampatzis, Alexandros Giokas, Lazaros Penteridis, Ilias Trochidis, David Daney, Miren Iturburu
article
Robotics and Autonomous Systems, Elsevier, 2017, 94, pp.18. 〈http://www.sciencedirect.com/science/article/pii/S0921889016306248〉. 〈10.1016/j.robot.2017.05.002〉
Accès au bibtex
BibTex
titre
Jouer ou ne pas jouer au Loto, telle est la stratégie
auteur
Gérard Berry, Jean-Paul Delahaye
article
Interstices, INRIA, 2017, 〈https://interstices.info/jcms/p_93693/jouer-ou-ne-pas-jouer-au-loto-telle-est-la-strategie〉
Accès au bibtex
BibTex
titre
Preface: Special issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2014 and 2015)
auteur
Ilaria Castellani, Mohammad Reza Mousavi
article
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2017, 87, 〈10.1016/j.jlamp.2017.01.002〉
Accès au bibtex
BibTex

Conference papers

titre
Concurrent Reversible Sessions
auteur
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
article
CONCUR 2017 - 28th International Conference on Concurrency Theory , Sep 2017, Berlin, Germany. Leibniz International Proceedings in Informatics (LIPIcs), 85, pp.1-17, CONCUR 2017. 〈10.4230/LIPIcs.CONCUR.2017.30〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01639845/file/LIPIcs-CONCUR-2017-30.pdf BibTex
titre
Control What You Include! Server-Side Protection Against Third Party Web Tracking
auteur
Dolière Francis Somé, Nataliia Bielova, Tamara Rezk
article
Eric Bodden; Mathias Payer; Elias Athanasopoulos. International Symposium on Engineering Secure Software and Systems, Jul 2017, Bonn, Germany. Springer, pp.115-132, 2017, 〈https://distrinet.cs.kuleuven.be/events/essos/2017/〉. 〈10.1007/978-3-319-62105-0〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01649547/file/FINAL.pdf BibTex
titre
Type Abstraction for Relaxed Noninterference (Artifact) *
auteur
Tamara Rezk, Raimil Cruz, Bernard Serpette, Éric Tanter
article
ECOOP 2017: The 31st European Conference on Object-Oriented Programming, Jun 2017, Barcelona, Spain. 74, pp.1 - 7, 2017, 〈10.4230/DARTS.3.2.9〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01644835/file/DARTS-3-2-9.pdf BibTex
titre
Type Abstraction for Relaxed Noninterference *
auteur
Raimil Cruz, Tamara Rezk, Bernard Serpette, Éric Tanter
article
ECOOP 2017 - 31st European Conference on Object-Oriented Programming, Jun 2017, Barcelona, Spain. pp.1-27, 〈10.4230/LIPIcs.ECOOP.2017.53〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01637023/file/ecoop17.pdf BibTex
titre
On the Content Security Policy Violations due to the Same-Origin Policy
auteur
Dolière Francis Somé, Nataliia Bielova, Tamara Rezk
article
WWW 2017 - 26th International Conference on World Wide Web , Apr 2017, Perth, Australia. ACM, pp.877-886, 2017, Proceedings of the 26th International Conference on World Wide Web. 〈10.1145/3038912.3052634〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01649526/file/p877.pdf BibTex
titre
Causalité dans les calculs d'événements
auteur
Bernard Serpette, David Janin
article
JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs , Jan 2017, Gourette, France. JFLA 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01403369/file/jfla2017.pdf BibTex

2016

Journal articles

titre
Information Flow Safety in Multiparty Sessions
auteur
Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2016, Special Issue: EXPRESS'11, 26 (8), pp.1352-1394. 〈http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9495470&fileId=S0960129514000619〉. 〈10.1017/S0960129514000619〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01237236/file/ifsms-mscs.pdf BibTex
titre
Using JavaScript Monitoring to Prevent Device Fingerprinting
auteur
Nataliia Bielova, Frédéric Besson, Thomas Jensen
article
ERCIM News, ERCIM, 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01353997/file/final.pdf BibTex
titre
RAPP: A Robotic-Oriented Ecosystem for Delivering Smart User Empowering Applications for Older People
auteur
Sofia Reppou, Emmanouil Tsardoulias, Athanassios Kintsakis, Andreas Symeonidis, Pericles Mitkas, Fotis Psomopoulos, George Karagiannis, Cezary Zelienski, Vincent Prunet, Jean-Pierre Merlet, Miren Iturburu, Alexandros Gkiokas
article
International Journal of Social Robotics, Springer, 2016, 〈10.1007/s12369-016-0361-z〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01336250/file/article_rapp_ijsr_2016.pdf BibTex
titre
Self-adaptation and secure information flow in multiparty communications
auteur
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Perez
article
Formal Aspects of Computing, Springer Verlag, 2016, 28 (4), pp.28. 〈10.1007/s00165-016-0381-3〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01354906/file/cdp-FAC16.pdf BibTex
titre
Mashic compiler: Mashup sandboxing based on inter-frame communication
auteur
Zhengqin Luo, José Fragoso Santos, Ana Almeida Matos, Tamara Rezk
article
Journal of Computer Security, IOS Press, 2016, 〈10.3233/JCS-160542〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01353966/file/main.pdf BibTex

Conference papers

titre
Dynamic leakage - a need for a new quantitative information flow measure
auteur
Nataliia Bielova
article
Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, Oct 2016, Vienna, Austria. pp.83-88, 2016, 〈10.1145/2993600.2993607〉
Accès au bibtex
BibTex
titre
Spot the Difference: Secure Multi-Execution and Multiple Facets
auteur
Nataliia Bielova, Tamara Rezk
article
European Symposium on Research in Computer Security (ESORICS), Sep 2016, Heraklion, Greece. European Symposium on Research in Computer Security (ESORICS 2016), 〈http://www.ics.forth.gr/esorics2016/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01348192/file/main.pdf BibTex
titre
A Glimpse of Hopjs
auteur
Manuel Serrano, Vincent Prunet
article
International Conference on Functional Programming (ICFP), Sep 2016, Nara, Japan. 21th ACM International Conference on Functional Programming (ICFP), pp.12, 2016, 〈10.1145/2951913.2951916〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01350936/file/icfp16.pdf https://hal.inria.fr/hal-01350936/file/pipeline2.pdf BibTex
titre
On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks
auteur
Vineet Rajani, Deepak Garg, Tamara Rezk
article
Computer Security Foundations, Jun 2016, Lisbon, Portugal. 2016, 〈10.1109/CSF.2016.18〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01353963/file/csf16Capabilities.pdf BibTex
titre
Secure Multiparty Sessions with Topics
auteur
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo De'Liguoro
article
PLACES 2016, Apr 2016, Eindhoven, Netherlands. EPTCS, 211, pp.12, 2016, Proceedings of the 9th workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2016, Eindhoven, The Netherlands, 8th April 2016. 〈10.4204/EPTCS.211.1〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01354905/file/topics-PLACES16.pdf BibTex
titre
A Taxonomy of Information Flow Monitors
auteur
Nataliia Bielova, Tamara Rezk
article
Frank Piessens ; Luca Viganò. International Conference on Principles of Security and Trust (POST 2016), Apr 2016, Eindhoven, Netherlands. Springer, International Conference on Principles of Security and Trust (POST 2016), 9635, pp.46--67, 2016, LNCS - Lecture Notes in Computer Science. 〈http://www.etaps.org/index.php/2016/post/post-programme〉. 〈10.1007/978-3-662-49635-0_3〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01348188/file/main.pdf BibTex
titre
Hybrid Monitoring of Attacker Knowledge
auteur
Frédéric Besson, Nataliia Bielova, Thomas Jensen
article
29th IEEE Computer Security Foundations Symposium, 2016, Lisboa, Portugal
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01310572/file/hybrid_monitoring_of_attacker_knowledge.pdf BibTex

Book sections

titre
The Computer Scientist Nightmare: My Favorite Bug
auteur
Manuel Serrano
article
A List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, 9600, Springer, pp.356-366, 2016, Lecture Notes on Computer Science, 978-3-319-30936-1. 〈http://events.inf.ed.ac.uk/wf2016/〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01340384/file/serrano-wf16.pdf BibTex

Directions of work or proceedings

titre
Trends in Functional Programming (TFP 2015)
auteur
Manuel Serrano, Jurriaan Hage
article
Manuel Serrano; Jurriaan Hage. Trends in Functional Programming, Jun 2015, Sophia Antipolis, France. 9547, Springer Verlag, pp.156, 2016, Lecture Notes on Computer Science, 978-3-319-39110-6. 〈10.1007/978-3-319-39110-6〉. 〈http://www.springer.com/fr/book/9783319391090〉
Accès au bibtex
BibTex

Reports

titre
Timed Denotational Semantics for Causal Functions over Timed Streams
auteur
David Janin, Bernard Paul Serpette
article
[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2016
Accès au bibtex
BibTex
titre
Logical semantics of Esterel with unconstrained local signals
auteur
Bernard Paul Serpette
article
[Research Report] RR-8942, INRIA Sophia Antipolis - Méditerranée. 2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01351005/file/RR-8942.pdf BibTex
titre
Using counters for absence prediction in Esterel
auteur
Bernard Paul Serpette
article
[Research Report] RR-8941, INRIA Sophia Antipolis - Méditerranée. 2016, pp.18
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01226760/file/RR-8941.pdf BibTex

2015

Journal articles

titre
Combining behavioural types with security analysis
auteur
Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira
article
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2015, pp.18. 〈Elsevier〉. 〈10.1016/j.jlamp.2015.09.003〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01213201/file/wg2soar.pdf BibTex

Conference papers

titre
Requesting Heterogeneous Data Sources with Array Comprehensions in Hop.js
auteur
Yoann Couillec, Manuel Serrano
article
15th Symposium on Database Programming Languages,, Oct 2015, Pittsburgh, United States. Proceedings of the 15th Symposium on Database Programming Languages,, pp.4, 2015, Proceedings of the 15th Symposium on Database Programming Languages,. 〈http://2015.splashcon.org/track/dbpl2015〉. 〈10.1145/2815072.2815077〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01246628/file/cs-dbpl15.pdf BibTex
titre
Hybrid Typing of Secure Information Flow in a JavaScript-like Language
auteur
José Fragoso Santos, Thomas Jensen, Tamara Rezk, Alan Schmitt
article
International Symposium on Trustworthy Global Computing, Aug 2015, Madrid, Spain. Proceedings of the 10th International Symposium on Trustworthy Global Computing (TGC 2015)
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01243029/file/paper_7.pdf BibTex
titre
Jthread, a deadlock-free mutex library
auteur
Johan Grande, Gérard Boudol, Manuel Serrano
article
Principles and Practice of Declarative Programming, Jul 2015, Sienne, Italy. pp.12, 2015, 17th International Symposium on Principles and Practice of Declarative Programming 〈http://costa.ls.fi.upm.es/ppdp15/〉. 〈10.1145/2790449.2790523〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01246618/file/gbs-ppdp15.pdf BibTex
titre
ANG-MED, a non intrusive, low-cost and smart rollator for mobility assistance and activity monitoring
auteur
Vincent Prunet, Jean-Pierre Merlet
article
IEEE Int. Conf. on Intelligent Robots and Systems (IROS), 2015, Hamburg, Germany. 2015
Accès au bibtex
BibTex
titre
Modular Monitor Extensions for Information Flow Security in JavaScript
auteur
José Fragoso Santos, Tamara Rezk, Ana Almeida Matos
article
Trustworthy Global Computing, 2015, Madrid, Spain. 2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01247123/file/tgc-modular.pdf BibTex

Book sections

titre
User Needs and Requirements for the Mobility Assistance and Activity Monitoring Scenario within the RAPP Project
auteur
Miren Iturburu, Eneko Goiburu, Javier Yanguas, Edurne Andueza, Elia Corral, Cristina Alderete, Ana Orbegozo, David Daney, Vincent Prunet, Jean-Pierre Merlet
article
Szewczyk, Roman and Zieliński, Cezary and Kaliczyńska, Małgorzata. Progress in Automation, Robotics and Measuring Techniques, 351, Springer International Publishing, pp.105-117, 2015, 978-3-319-15846-4. 〈10.1007/978-3-319-15847-1_11〉. 〈http://dx.doi.org/10.1007/978-3-319-15847-1_11〉
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Engineering Secure Software and Systems (ESSoS 2015)
auteur
Nataliia Bielova, Juan Caballero, Frank Piessens
article
Frank Piessens; Juan Caballero; Nataliia Bielova. Engineering Secure Software and Systems, Mar 2015, Milan, Italy. 8978, pp.227, 2015, Lecture Notes on Computer Science, 978-3-319-15617-0. 〈10.1007/978-3-319-15618-7〉. 〈http://www.springer.com/fr/book/9783319156170〉
Accès au bibtex
BibTex

Theses

titre
Conception et implémentation d'un langage de programmation concurrente modulaire
auteur
Johan Grande
article
Autre [cs.OH]. Université Nice Sophia Antipolis, 2015. Français. 〈NNT : 2015NICE4067〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01246636/file/2015NICE4067.pdf BibTex

2014

Journal articles

titre
Typing access control and secure information flow in sessions
auteur
Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini
article
Journal of Information and Computation, Elsevier, 2014, 238, pp.68 - 105. 〈10.1016/j.ic.2014.07.005〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01088782/file/IC-2014.pdf BibTex

Conference papers

titre
Browser Randomisation against Fingerprinting: A Quantitative Information Flow Approach
auteur
Frédéric Besson, Nataliia Bielova, Thomas Jensen
article
Nordic Conference on Secure IT Systems (NordSec 2014), Oct 2014, Tromsø, Norway. 2014, 〈10.1007/978-3-319-11599-3_11〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01081037/file/enforcing_abstract.pdf BibTex
titre
RAPP System Architecture
auteur
Fotis Psomopoulos, Emmanouil Tsardoulias, Alexandros Giokas, Cezary Zielinski, Vincent Prunet, Ilias Trochidis, David Daney, Manuel Serrano, Ludovic Courtès, Stratos Arampatzis, Pericles A Mitkas
article
Assistance and Service Robotics in a Human Environment, IEEE/RSJ International Conference on Intelligent Robots and Systems, Sep 2014, chicago, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01090891/file/RAPP_architecture_v2.0.pdf BibTex
titre
An Information Flow Monitor for a Core of DOM
auteur
Ana Almeida Matos, José Fragoso Santos, Tamara Rezk
article
Symposium on Trustworthy Global Computing (TGC), Sep 2014, Rome, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01087375/file/coreDom.pdf BibTex
titre
Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective
auteur
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Perez
article
Third Workshop on Behavioural Types (BEAT 2014), Sep 2014, Rome, Italy. Electronic Proceedings in Theoretical Computer Science, 162, pp.9 - 18, 2014, 〈10.4204/EPTCS.162.2〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01088437/file/BEAT14-EPTCS.pdf BibTex
titre
Stateful Declassification Policies for Event-Driven Programs
auteur
Mathy Vanhoef, Willem De Groef, Dominique Devriese, Frank Piessens, Tamara Rezk
article
Computer Security Foundations (CSF'14), Jul 2014, Viena, Austria. pp.293 - 307, 2014, 〈10.1109/CSF.2014.28〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01098443/file/sme_declassification.pdf BibTex
titre
Crying Wolf? On the Price Discrimination of Online Airline Tickets
auteur
Thomas Vissers, Nick Nikiforakis, Nataliia Bielova, Wouter Joosen
article
7th Workshop on Hot Topics in Privacy Enhancing Technologies (HotPETs 2014), Jul 2014, Amsterdam, Netherlands
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01081034/file/Airline_Paper.pdf BibTex
titre
An Information Flow Monitor-Inlining Compiler for Securing a Core of JavaScript
auteur
José Fragoso Santos, Tamara Rezk
article
29th IFIP International Information Security Conference (SEC), Jun 2014, Marrakesh, Morocco. Springer, IFIP Advances in Information and Communication Technology, AICT-428, pp.278-292, 2014, ICT Systems Security and Privacy Protection. 〈10.1007/978-3-642-55415-5_23〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01087374/file/instrumentation.pdf BibTex
titre
A Multitier Debugger for Web Applications
auteur
Manuel Serrano
article
WEBIST'14, Apr 2014, Barcelone, Spain. Springer International Publishing, 226 (1), pp.14, 2015, Lecture Notes in Business Information Processing, 10th International Conference, WEBIST 2014, Revised Selected Papers. 〈http://www.webist.org/?y=2014〉. 〈10.1007/978-3-319-27030-2〉
Accès au bibtex
BibTex
titre
Locking Fast
auteur
Manuel Serrano, Johan Grande
article
Symposium on Applied Computing, Mar 2014, Gyeongju, South Korea. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00912569/file/lock.pdf BibTex
titre
Hop and HipHop : Multitier Web Orchestration
auteur
Gérard Berry, Manuel Serrano
article
International Conference on Distributed Computing and Internet Technology, Feb 2014, Bhubaneswar, India. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00911782/file/hiphop.pdf BibTex
titre
Unification des couleurs dans un lambda-calcul polychrome
auteur
Bernard Serpette, Pascal Manoury, Emmanuel Chailloux
article
Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00918944/file/polylambda.pdf BibTex

Directions of work or proceedings

titre
Engineering Secure Software and Systems (ESSoS 2014)
auteur
Nataliia Bielova, Frank Piessens, Jan Jürjens
article
Jan Jürjens; Frank Piessens; Nataliia Bielova. Engineering Secure Software and Systems, Feb 2014, Munich, Germany. 8364, pp.231, 2014, Lecture Notes on Computer Science, 978-3-319-04896-3. 〈10.1007/978-3-319-04897-0〉
Accès au bibtex
BibTex

Reports

titre
Enforcing Browser Anonymity with Quantitative Information Flow
auteur
Frédéric Besson, Nataliia Bielova, Thomas Jensen
article
[Research Report] RR-8532, INRIA. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00984654/file/RR-8532.pdf BibTex

Theses

titre
Enforcing secure information flow in client-side Web applications
auteur
José Fragoso Femenin dos Santos
article
Other [cs.OH]. Université Nice Sophia Antipolis, 2014. English. 〈NNT : 2014NICE4148〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01135001/file/2014NICE4148.pdf BibTex

2013

Journal articles

titre
A certified lightweight non-interference Java bytecode verifier
auteur
Gilles Barthe, David Pichardie, Tamara Rezk
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2013, 23 (5), pp.1032-1081. 〈10.1017/S0960129512000850〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00915189/file/barthe_pichardie_rezk_2010_v2.pdf BibTex

Conference papers

titre
Fine-grained and coarse-grained reactive noninterference
auteur
Pejman Attar, Ilaria Castellani
article
Trustworthy Global Computing 2013 - 8th International Symposium, Revised Selected Papers, Aug 2013, Buenos Aires, Argentina. Springer, Lecture Notes in Computer Science, 8358, pp.21, 2014, 〈http://dx.doi.org/10.1007/978-3-319-05119-2〉. 〈10.1007/978-3-319-05119-2_10〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00915241/file/tgc13.pdf BibTex
titre
Cable-Driven Robots with Wireless Control Capability for Pedagogical Illustration in Science
auteur
Julien Alexandre Dit Sandretto, Cyprien Nicolas
article
CAR - 8th National Conference on "Control Architecure of Robots", Jun 2013, Angers, France. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00862752/file/CAR2013.pdf BibTex

Theses

titre
Towards a safe and secure synchronous language
auteur
Pejman Attar
article
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English. 〈NNT : 2013NICE4148〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00942606/file/2013NICE4148.pdf BibTex

2012

Reports

titre
Formalization and Concretization of Ordered Networks
auteur
Laurence Rideau, Bernard Serpette, Cédric Tedeschi
article
[Research Report] RR-8172, INRIA. 2012, pp.22
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00762627/file/RR-8172.pdf BibTex
titre
DSLM : Dynamic Synchronous Language with Memory
auteur
Pejman Attar
article
2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00779192/file/paper.pdf BibTex

2011

Journal articles

titre
Une révolution permanente
auteur
Gérard Berry
article
Interstices, INRIA, 2011, 〈https://interstices.info/jcms/i_60056/une-revolution-permanente〉
Accès au bibtex
BibTex

Preprints, Working Papers, ...

titre
Proposal for a Dynamic Synchronous Language
auteur
Pejman Attar, Frédéric Boussinot, Louis Mandel, Jean-Ferdy Susini
article
2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00590420/file/dsl.pdf BibTex
titre
Simulation of Quantum Mechanics Using Reactive Programming
auteur
Frédéric Boussinot
article
2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00554781/file/paper.pdf BibTex

2010

Journal articles

titre
HTML5 VIDEO portable avec Hop
auteur
Manuel Serrano, Christian Queinnec
article
GNU/Linux Magazine France, Diamond Editions, 2010, pp.92-98
Accès au bibtex
BibTex
titre
A simplified multi-tiers semantics for Hop
auteur
Manuel Serrano, Christian Queinnec
article
Higher Order and Symbolic Computation, 2010, pp.1-23. 〈10.1007/s10990-010-9061-9〉
Accès au bibtex
BibTex

Reports

titre
Session Types for Access and Information Flow Control
auteur
Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Tamara Rezk
article
[Research Report] RR-7368, INRIA. 2010, pp.48
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00511304/file/RR-7368.pdf BibTex

Preprints, Working Papers, ...

titre
The FunLoft Language
auteur
Frédéric Boussinot
article
2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00497705/file/book.pdf BibTex

2009

Conference papers

titre
Relaxed memory models: an operational approach
auteur
Gérard Boudol, Gustavo Petri
article
POPL'09, Jan 2009, Savannah, GA,, United States. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00420352/file/gg-popl.pdf BibTex

2008

Journal articles

titre
Idée reçue : L’informatique se trouve surtout dans les ordinateurs
auteur
Gérard Berry
article
Interstices, INRIA, 2008, 〈https://interstices.info/jcms/p_80636/idee-recue-l-informatique-se-trouve-surtout-dans-les-ordinateurs〉
Accès au bibtex
BibTex
titre
Une galerie de photos sur le Web avec Hop (2ème partie)
auteur
Manuel Serrano, Christian Queinnec
article
Programmez, Programmez, 2008, pp.64-66
Accès au bibtex
BibTex
titre
Hop. un langage de programmation pour le Web (1ère partie)
auteur
Manuel Serrano, Christian Queinnec
article
Programmez, Programmez, 2008, pp.53-55
Accès au bibtex
BibTex

2007

Journal articles

titre
L’informatisation des objets, ou l’invasion des pucerons
auteur
Gérard Berry
article
Interstices, INRIA, 2007, 〈https://interstices.info/jcms/c_18251/l-informatisation-des-objets-ou-l-invasion-des-pucerons〉
Accès au bibtex
BibTex