Publications

Publications HAL du labo/EPI indes

2023

Journal articles

titre
Event structure semantics for multiparty sessions
auteur
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
article
Journal of Logical and Algebraic Methods in Programming, 2023, 131, ⟨10.1016/j.jlamp.2022.100844⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03940191/file/cdgS22.pdf BibTex
titre
Preface to the special issue on Open Problems in Concurrency Theory
auteur
Ilaria Castellani, Pedro D’Argenio, Mohammad Reza Mousavi, Ana Sokolova
article
Journal of Logical and Algebraic Methods in Programming, 2023, 130, pp.100823. ⟨10.1016/j.jlamp.2022.100823⟩
Accès au bibtex
BibTex

Book sections

titre
Composer et interpréter de la musique interactive en ultilsant le langage HipHop.js
auteur
Petit Bertrand
article
Christophe d’Alessandro and Achille Davy-Rigaux and Christophe Pirenne and Solène Bellanger and Sylvie Pébrier and Julie Rosenkranz and Florence Roy and Mickaël Robert-Gonçalves (dir.). Recherches en musique Actes des Rencontres nationales sur les recherches en musique, Collegium Musicæ de l’Alliance Sorbonne Université, pp.399-405, 2023, Recherches en musique, ⟨10.25836/rnrm.2020.46⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04226039/file/DOI_rnrm_2020-46.pdf BibTex

Theses

titre
Static and dynamic debugging techniques for the HipHop.js language
auteur
Jayanth Krishnamurthy
article
Computation and Language [cs.CL]. Université Côte d’Azur, 2023. English. ⟨NNT : 2023COAZ4035⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04193271/file/2023COAZ4035.pdf BibTex

2022

Journal articles

titre
Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many linters
auteur
Joshua Hoeflich, Robert Bruce Findler, Manuel Serrano
article
Proceedings of the ACM on Programming Languages, 2022, 6 (OOPSLA2), pp.479-504. ⟨10.1145/3563305⟩
Accès au bibtex
BibTex
titre
Statically identifying XSS using deep learning
auteur
Heloise Maurel, Santiago Vidal, Tamara Rezk
article
Science of Computer Programming, 2022, 219, pp.102810. ⟨10.1016/j.scico.2022.102810⟩
Accès au bibtex
BibTex
titre
Algorithmes, machines et langages
auteur
Gérard Berry
article
L’Annuaire du Collège de France. Résumés des cours et travaux, 2022, 119, pp.13 – 20. ⟨10.4000/annuaire-cdf.16725⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04133810/file/annuaire-cdf-16725.pdf BibTex

Conference papers

titre
CONCUR Test-Of-Time Award 2022
auteur
Ilaria Castellani, Paul Gastin, Orna Kupferman, Mickael Randour, Davide Sangiorgi
article
33rd International Conference on Concurrency Theory (CONCUR 2022), Bartek Klin, Slawomir Lasota, Anca Muscholl, Sep 2022, Warsaw (Poland), Poland. pp.1:1-1:3, ⟨10.4230/LIPIcs.CONCUR.2022.1⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03970965/file/LIPIcs-CONCUR-2022-ToT.pdf BibTex
titre
JavaScript Sealed Classes
auteur
Manuel Serrano
article
ECOOP 2022 – 36th European Conference on Object-Oriented Programming, Jun 2022, Berlin, Germany
Accès au bibtex
BibTex
titre
Asynchronous Sessions with Input Races
auteur
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
article
PLACES 2022 – 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Marco Carbone, Rumyana Neykova, Apr 2022, Munich (Allemagne), Germany. pp.12-23, ⟨10.4204/EPTCS.356.2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03940160/file/places22.pdf BibTex
titre
Comparing the Detection of XSS Vulnerabilities in Node.js and a Multi-tier JavaScript-based Language via Deep Learning
auteur
Héloïse Maurel, Santiago Vidal, Tamara Rezk
article
ICISSP 2022 – 8th International Conference on Information Systems Security and Privacy, Feb 2022, Virtual, France. ⟨10.5220/0010980800003120⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03576267/file/ICISSP_2022_86_CR.pdf BibTex

Reports

titre
Tracking Information Flow by Mapping Broadcast Encryption Subgroups to Security Lattices
auteur
Mohamad El Laz, Alejandro Hevia, Tamara Rezk
article
[Research Report] Inria. 2022
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03537962/file/ifip.pdf BibTex

Theses

titre
A Meta-Approach to Describe Effectful and Distributed Semantics
auteur
Adam Khayam
article
Computer Vision and Pattern Recognition [cs.CV]. Université Rennes 1, 2022. English. ⟨NNT : 2022REN1S070⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03969183/file/KHAYAM_Adam.pdf BibTex
titre
Deep learning applied on Web security : statically identifying Web vulnerabilities using deep learning
auteur
Héloïse Maurel
article
Artificial Intelligence [cs.AI]. Université Côte d’Azur, 2022. English. ⟨NNT : 2022COAZ4059⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04025922/file/2022COAZ4059.pdf BibTex
titre
Provable encryption schemes for distributed systems
auteur
Mohamad El Laz
article
Cryptography and Security [cs.CR]. Université Côte d’Azur, 2022. English. ⟨NNT : 2022COAZ4006⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03814201/file/2022COAZ4006.pdf BibTex

2021

Journal articles

titre
Of JavaScript AOT compilation performance
auteur
Manuel Serrano
article
Proceedings of the ACM on Programming Languages, 2021, ⟨10.1145/3462299⟩
Accès au bibtex
BibTex

Conference papers

titre
Causality Error Tracing in HipHop
auteur
Jayanth Krishnamurthy, Manuel Serrano
article
Principles and Practice of Declarative Programming, Sep 2021, Tallinn, Estonia
Accès au bibtex
BibTex
titre
Generative Music Using Reactive Programming
auteur
Bertrand Petit, Manuel Serrano
article
International Computer Music Conférence, Jul 2021, Santiago, Chile
Accès au texte intégral et bibtex
https://hal.science/hal-03105666/file/Skini-ICMC2020.pdf BibTex
titre
Statically Identifying XSS using Deep Learning
auteur
Heloise Maurel, Santiago Vidal, Tamara Rezk
article
SECRYPT 2021 – 18th International Conference on Security and Cryptography, Jul 2021, Virtual, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03273564/file/SECRYPT_2021_53_CR.pdf BibTex
titre
High-Assurance Cryptography in the Spectre Era
auteur
Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe
article
S&P 2021 – IEEE Symposium of Security and Privacy, May 2021, Virtual, France. ⟨10.1109/SP40001.2021.00046⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03352062/file/highassurance.pdf BibTex
titre
Measurement of OH radicals using off-axis integrated output spectroscopy (OA-ICOS) at 2.8 µm
auteur
Minh Ngo, Tong Ba, Denis Petitprez, Fabrice Cazier, Weixiong Zhao, Weidong Chen
article
EGU General Assembly 2021, Apr 2021, Göttingen, Germany. ⟨10.5194/egusphere-egu21-16416⟩
Accès au bibtex
BibTex
titre
SecureJS Compiler: Portable Memory Isolation in JavaScript
auteur
Yoonseok Ko, Tamara Rezk, Manuel Serrano
article
SAC 2021 – 36th ACM/SIGAPP Symposium On Applied Computing, Mar 2021, Gwangju / Virtual, South Korea. ⟨10.1145/3412841.3442001⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03090348/file/final.pdf BibTex
titre
Hunting the Haunter -Efficient Relational Symbolic Execution for Spectre with Haunted RelSE
auteur
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
article
NDSS 2021 – Network and Distributed Systems Security, 2021, Virtual, France. ⟨10.14722/ndss.2021.24286⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03363263/file/spectre.pdf BibTex

Reports

titre
Évaluation des Logiciels
auteur
Anne Canteaut, Miguel Angel Fernández, Luc Maranget, Sophie Perin, Mario Ricchiuto, Manuel Serrano, Emmanuel Thomé
article
[Rapport de recherche] Inria. 2021
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03110723/file/CE_gt-logiciel.pdf BibTex
titre
Software Evaluation
auteur
Anne Canteaut, Miguel Angel Fernández, Luc Maranget, Sophie Perin, Mario Ricchiuto, Manuel Serrano, Emmanuel Thomé
article
[Research Report] Inria. 2021
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03110728/file/CE_gt-logiciel-en.pdf BibTex

Theses

titre
Symbolic binary-level code analysis for security. Application to the detection of microarchitectural timing attacks in cryptographic code
auteur
Lesly-Ann Daniel
article
Cryptography and Security [cs.CR]. Université Côte d’Azur, 2021. English. ⟨NNT : 2021COAZ4092⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03642418/file/2021COAZ4092.pdf BibTex

Preprints, Working Papers, …

titre
Global types and event structure semantics for asynchronous multiparty sessions
auteur
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
article
2021
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03126627/file/cdg.pdf BibTex

2020

Journal articles

titre
Skini:Reactive Programming for Interactive Structured Music
auteur
Bertrand Petit, Manuel Serrano
article
The Art, Science, and Engineering of Programming, 2020
Accès au texte intégral et bibtex
https://hal.science/hal-03105643/file/skini-programming.pdf BibTex
titre
Global types with internal delegation
auteur
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, Ross Horne
article
Theoretical Computer Science, 2020, 807, pp.26. ⟨10.1016/j.tcs.2019.09.027⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02419937/file/cdgh19.pdf BibTex

Conference papers

titre
Strenghtening Content Security Policy via Monitoring and URL Parameters Filtering
auteur
Dolière Francis Somé, Tamara Rezk
article
WPES’20: Proceedings of the 19th Workshop on Privacy in the Electronic Society CCS ’20: 2020 ACM SIGSAC Conference on Computer and Communications Security, Nov 2020, Virtual Event USA, France. pp.1-13, ⟨10.1145/3411497.3420222⟩
Accès au bibtex
BibTex
titre
On Compliance of Cookie Purposes with the Purpose Specification Principle
auteur
Imane Fouad, Cristiana Santos, Feras Al Kassar, Nataliia Bielova, Stefano Calzavara
article
IWPE 2020 – International Workshop on Privacy Engineering, Sep 2020, Genova, Italy. pp.1-8
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02567022/file/Cookie_Purposes__IWPE_2020_.pdf BibTex
titre
HipHop.js: (A)Synchronous reactive web programming
auteur
Gérard Berry, Manuel Serrano
article
PLDI ’20 – 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, Jul 2020, London UK, United Kingdom. pp.533-545, ⟨10.1145/3385412.3385984⟩
Accès au bibtex
BibTex
titre
Security Analysis of ElGamal Implementations
auteur
Mohamad El Laz, Benjamin Grégoire, Tamara Rezk
article
SECRYPT 2020 – 17th International Conference on Security and Cryptography, Jul 2020, Lieusaint – Paris, France. pp.310-321, ⟨10.5220/0009817103100321⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03141511/file/SecryptElGamal.pdf BibTex
titre
Clockwork: Tracking Remote Timing Attacks
auteur
Iulia Bastys, Mussard Balliu, Tamara Rezk, Andrei Sabelfeld
article
CSF 2020 – 33rd IEEE Computer Security Foundations Symposium, Jun 2020, Virtual, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03141411/file/clockwork.pdf BibTex
titre
Constant-Time Foundations for the New Spectre Era
auteur
Sunjay Cauligi, Craig Disselkoen, Klaus V. Gleissenthall, Dean Tullsen, Deian Stefan, Tamara Rezk, Gilles Barthe
article
2020 Programming Language Design and Implementation (PLDI’20), Jun 2020, London, United Kingdom
Accès au bibtex
https://arxiv.org/pdf/1910.01755 BibTex
titre
Binsec/Rel: efficient relational symbolic execution for constant-time at binary-level
auteur
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
article
41st IEEE Symposium on Security and Privacy, May 2020, Virtual, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03141415/file/1912.08788.pdf BibTex
titre
Type-based Declassification for Free
auteur
Minh Ngo, David Naumann, Tamara Rezk
article
ICFEM’20, Mar 2020, Singapore, Singapore
Accès au bibtex
https://arxiv.org/pdf/1905.00922 BibTex
titre
Dynamic property caches: a step towards faster JavaScript proxy objects
auteur
Manuel Serrano, Robert Bruce Findler
article
CC ’20 – 29th International Conference on Compiler Construction, Feb 2020, San Diego CA, United States. pp.108-118, ⟨10.1145/3377555.3377888⟩
Accès au bibtex
BibTex

Theses

titre
Temps et durée : de la programmation réactive synchrone à la composition musicale
auteur
Bertrand Petit
article
Langage de programmation [cs.PL]. Université Côte d’Azur, 2020. Français. ⟨NNT : 2020COAZ4024⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03135288/file/2020COAZ4024.pdf BibTex

2019

Journal articles

titre
Reversible sessions with flexible choices
auteur
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
article
Acta Informatica, 2019, 56 (7-8), pp.553-583. ⟨10.1007/s00236-019-00332-y⟩
Accès au bibtex
BibTex

Conference papers

titre
Event Structure Semantics for Multiparty Sessions
auteur
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
article
Models, Languages, and Tools for Concurrent and Distributed Programming – Hommage to Rocco De Nicola on the Occasion of His 65th Birthday, Michele Boreale; Flavio Corradini; Michele Loreti; Rosario Pugliese, Jul 2019, Lucca, Italy. pp.340-363, ⟨10.1007/978-3-030-21485-2_19⟩
Accès au bibtex
https://arxiv.org/pdf/2201.00221 BibTex
titre
Security Analysis of Subject Access Request Procedures How to authenticate data subjects safely when they request for their data
auteur
Coline Boniface, Imane Fouad, Nataliia Bielova, Cédric Lauradoux, Cristiana Santos
article
APF 2019 – Annual Privacy Forum, Jun 2019, Rome, Italy. pp.1-20
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02072302/file/right.pdf BibTex
titre
Composing and Performing Interactive Music using the HipHop.js language
auteur
Bertrand Petit, Manuel Serrano
article
NIME 2019 – New Interfaces for Musical Expression, Jun 2019, Porto Allegre, Brazil
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02410197/file/nime-skini2019.pdf BibTex
titre
EmPoWeb: Empowering Web Applications with Browser Extensions
auteur
Dolière Francis Somé
article
SP 2019 – 40th IEEE Symposium on Security and Privacy, May 2019, San Francisco, United States
Accès au texte intégral et bibtex
https://hal.science/hal-02433525/file/conference-proceeding.pdf BibTex
titre
Property caches revisited
auteur
Manuel Serrano, Marc Feeley
article
CC 2019 – 28th International Conference on Compiler Construction, Feb 2019, Washington, United States. pp.99-110, ⟨10.1145/3302516.3307344⟩
Accès au bibtex
BibTex

Special issue

titre
Open Problems in Concurrency Theory
auteur
Ilaria Castellani, Pedro D’Argenio, Mohammad Reza Mousavi, Ana Sokolova
article
Journal of Logical and Algebraic Methods in Programming, , 2019, Special issue of Journal of Logical and Algebraic Methods in Programming
Accès au bibtex
BibTex
titre
Special Issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2015 and 2016)
auteur
Ilaria Castellani, Mohammad Reza Mousavi
article
Journal of Logical and Algebraic Methods in Programming, 107, pp.175-176, 2019, ⟨10.1016/j.jlamp.2019.07.001⟩
Accès au bibtex
BibTex

Reports

titre
Multiparty Reactive Sessions
auteur
Mauricio Cano, Ilaria Castellani, Cinzia Di Giusto, Jorge A. Pérez
article
[Research Report] 9270, INRIA. 2019, pp.65
Accès au texte intégral et bibtex
https://hal.science/hal-02106742/file/RR-9270.pdf BibTex
titre
Event structure semantics for multiparty sessions
auteur
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
article
[Research Report] RR-9266, INDES. 2019
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02081943/file/RR-9266.pdf BibTex

2018

Conference papers

titre
JavaScript AOT compilation
auteur
Manuel Serrano
article
the 14th ACM SIGPLAN International Symposium on Dynamic Languages, Nov 2018, Boston, France. ⟨10.1145/3276945.3276950⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01937197/file/jsaot.pdf BibTex
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. 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. pp.496-513, ⟨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://inria.hal.science/hal-01723723/file/main-hal.pdf BibTex
titre
Hiphop.js: a language to orchestrate web applications
auteur
Colin Vidal, Gérard Berry, Manuel Serrano
article
SAC: Symposium on Applied Computing, Apr 2018, Pau, France. pp.2193-2195, ⟨10.1145/3167132.3167440⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01937252/file/vbs-sac18.pdf BibTex

Habilitation à diriger des recherches

titre
Secure Programming
auteur
Tamara Rezk
article
Cryptography and Security [cs.CR]. Université de Nice – Sophia Antipolis, 2018
Accès au texte intégral et bibtex
https://inria.hal.science/tel-01941697/file/hdrRezk.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. ⟨NNT : 2018AZUR4085⟩
Accès au texte intégral et bibtex
https://inria.hal.science/tel-01925851/file/2018AZUR4085.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://theses.hal.science/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, 2017, 94, pp.18. ⟨10.1016/j.robot.2017.05.002⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01550448/file/rapp-robotics-and-autonomous-systems.pdf BibTex
titre
Jouer ou ne pas jouer au Loto, telle est la stratégie
auteur
Gérard Berry, Jean-Paul Delahaye
article
Interstices, 2017
Accès au bibtex
BibTex
titre
Type Abstraction for Relaxed Noninterference (Artifact) *
auteur
Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter
article
Dagstuhl Artifacts Series, 2017, 3 (2), 2 p. ⟨10.4230/DARTS.3.2.9⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01644835/file/DARTS-3-2-9.pdf BibTex

Conference papers

titre
Concurrent Reversible Sessions
auteur
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
article
CONCUR 2017 – 28th International Conference on Concurrency Theory, Roland Meyer; Uwe Nestmann, Sep 2017, Berlin, Germany. pp.1-17, ⟨10.4230/LIPIcs.CONCUR.2017.30⟩
Accès au texte intégral et bibtex
https://inria.hal.science/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
International Symposium on Engineering Secure Software and Systems, Jul 2017, Bonn, Germany. pp.115-132, ⟨10.1007/978-3-319-62105-0⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01649547/file/FINAL.pdf BibTex
titre
Type Abstraction for Relaxed Noninterference *
auteur
Raimil Cruz, Tamara Rezk, Bernard P. 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.science/hal-01637023/file/LIPIcs-ECOOP-2017-7%281%29.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. pp.877-886, ⟨10.1145/3038912.3052634⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01649526/file/p877.pdf BibTex
titre
Causalité dans les calculs d’événements
auteur
Bernard P Serpette, David Janin
article
JFLA 2017 – Vingt-huitième Journées Francophones des Langages Applicatifs , Jan 2017, Gourette, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01403369/file/jfla2017.pdf BibTex

Special issue

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, 87, 2017, ⟨10.1016/j.jlamp.2017.01.002⟩
Accès au bibtex
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, 2016, Special Issue: EXPRESS’11, 26 (8), pp.1352-1394. ⟨10.1017/S0960129514000619⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01237236/file/ifsms-mscs.pdf BibTex
titre
RAPP: A Robotic-Oriented Ecosystem for Delivering Smart User Empowering Applications for Older People
auteur
Sofia E Reppou, Emmanouil G. Tsardoulias, Athanassios M Kintsakis, Andreas L Symeonidis, Pericles A Mitkas, Fotis E Psomopoulos, George T Karagiannis, Cezary Zelienski, Vincent Prunet, Jean-Pierre Merlet, Miren Iturburu, Alexandros Gkiokas
article
International Journal of Social Robotics, 2016, ⟨10.1007/s12369-016-0361-z⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01336250/file/article_rapp_ijsr_2016.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, 2016, ⟨10.3233/JCS-160542⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01353966/file/main.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, 2016, 28 (4), pp.28. ⟨10.1007/s00165-016-0381-3⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01354906/file/cdp-FAC16.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, ⟨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
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01348192/file/main.pdf BibTex
titre
A Glimpse of Hopjs
auteur
Manuel Serrano, Vincent Prunet
article
International Conference on Functional Programming (ICFP), ACM, Sep 2016, Nara, Japan. pp.12, ⟨10.1145/2951913.2951916⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01350936/file/icfp16.pdf https://inria.hal.science/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. ⟨10.1109/CSF.2016.18⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01353963/file/csf16Capabilities.pdf BibTex
titre
Secure Multiparty Sessions with Topics
auteur
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo De’Liguoro
article
PLACES 2016, Dominic A. Orchard; Nobuko Yoshida, Apr 2016, Eindhoven, Netherlands. pp.12, ⟨10.4204/EPTCS.211.1⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01354905/file/topics-PLACES16.pdf BibTex
titre
A Taxonomy of Information Flow Monitors
auteur
Nataliia Bielova, Tamara Rezk
article
International Conference on Principles of Security and Trust (POST 2016), Apr 2016, Eindhoven, Netherlands. pp.46–67, ⟨10.1007/978-3-662-49635-0_3⟩
Accès au texte intégral et bibtex
https://inria.hal.science/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://inria.hal.science/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
Accès au texte intégral et bibtex
https://hal.science/hal-01340384/file/serrano-wf16.pdf BibTex

Other publications

titre
Using JavaScript Monitoring to Prevent Device Fingerprinting
auteur
Nataliia Bielova, Frédéric Besson, Thomas Jensen
article
2016
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01353997/file/final.pdf BibTex

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⟩
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.science/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://inria.hal.science/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, 2015, pp.18. ⟨10.1016/j.jlamp.2015.09.003⟩
Accès au texte intégral et bibtex
https://inria.hal.science/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,, ACM, Oct 2015, Pittsburgh, United States. pp.4, ⟨10.1145/2815072.2815077⟩
Accès au texte intégral et bibtex
https://inria.hal.science/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
Accès au texte intégral et bibtex
https://hal.science/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, ⟨10.1145/2790449.2790523⟩
Accès au texte intégral et bibtex
https://inria.hal.science/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
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
Accès au texte intégral et bibtex
https://hal.science/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⟩
Accès au bibtex
BibTex

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⟩
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://theses.hal.science/tel-01246636/file/2015NICE4067.pdf BibTex

2014

Journal articles

titre
Softening behavior of quasi-brittle material under full thermo-mechanical coupling condition: Theoretical formulation and finite element implementation
auteur
Minh Ngo, Delphine M Brancherie, Adnan Ibrahimbegovic
article
Computer Methods in Applied Mechanics and Engineering, 2014, 281, pp.1-28
Accès au bibtex
BibTex
titre
Thermomechanics failure of RC composites: computational approach with enhanced beam model
auteur
Minh Ngo, Adnan Ibrahimbegovic, Delphine Brancherie
article
Coupled systems mechanics, 2014, 3 (1), pp.111-145. ⟨10.12989/csm.2014.3.1.111⟩
Accès au bibtex
BibTex
titre
Typing access control and secure information flow in sessions
auteur
Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini
article
Information and Computation, 2014, 238, pp.68 – 105. ⟨10.1016/j.ic.2014.07.005⟩
Accès au texte intégral et bibtex
https://inria.hal.science/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. ⟨10.1007/978-3-319-11599-3_11⟩
Accès au texte intégral et bibtex
https://inria.hal.science/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://inria.hal.science/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://inria.hal.science/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), Marco Carbone, Sep 2014, Rome, Italy. pp.9 – 18, ⟨10.4204/EPTCS.162.2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/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, ⟨10.1109/CSF.2014.28⟩
Accès au texte intégral et bibtex
https://inria.hal.science/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://inria.hal.science/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. pp.278-292, ⟨10.1007/978-3-642-55415-5_23⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01087374/file/instrumentation.pdf BibTex
titre
A Multitier Debugger for Web Applications
auteur
Manuel Serrano
article
WEBIST’14, Apr 2014, Barcelone, Spain. pp.14, ⟨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, ACM, Mar 2014, Gyeongju, South Korea
Accès au texte intégral et bibtex
https://inria.hal.science/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
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00911782/file/hiphop.pdf BibTex
titre
Unification des couleurs dans un lambda-calcul polychrome
auteur
Bernard P. Serpette, Pascal Manoury, Emmanuel Chailloux
article
Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00918944/file/polylambda.pdf BibTex

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://inria.hal.science/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://theses.hal.science/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, 2013, 23 (5), pp.1032-1081. ⟨10.1017/S0960129512000850⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00915189/file/barthe_pichardie_rezk_2010_v2.pdf BibTex
titre
Continuum damage model for thermo-mechanical coupling in quasi-brittle materials
auteur
Minh Ngo, Adnan Ibrahimbegovic, Delphine Brancherie
article
Engineering Structures, 2013, 50, pp.170-178. ⟨10.1016/j.engstruct.2012.10.007⟩
Accès au bibtex
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, Martín Abadi; Alberto Lluch-Lafuente, Aug 2013, Buenos Aires, Argentina. pp.21, ⟨10.1007/978-3-319-05119-2_10⟩
Accès au texte intégral et bibtex
https://inria.hal.science/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
Accès au texte intégral et bibtex
https://inria.hal.science/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://theses.hal.science/tel-00942606/file/2013NICE4148.pdf BibTex

2012

Books

titre
Informatique et sciences du numérique ― Spécialité ISN en terminale S, avec des exercices corrigés et des idées de projets
auteur
Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Claudio Cimelli, Albert Cohen, Christine Eisenbeis, Thierry Viéville, Benjamin Wack, Gérard Berry
article
Eyrolles, 2012
Accès au bibtex
BibTex

Reports

titre
Formalization and Concretization of Ordered Networks
auteur
Laurence Rideau, Bernard P. Serpette, Cédric Tedeschi
article
[Research Report] RR-8172, INRIA. 2012, pp.22
Accès au texte intégral et bibtex
https://inria.hal.science/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.science/hal-00779192/file/paper.pdf BibTex

2011

Journal articles

titre
Une révolution permanente
auteur
Gérard Berry
article
Interstices, 2011
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.science/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.science/hal-00554781/file/paper.pdf BibTex

2010

Journal articles

titre
HTML5 VIDEO portable avec Hop
auteur
Manuel Serrano, Christian Queinnec
article
GNU/Linux Magazine, 2010, 129, 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://inria.hal.science/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://inria.hal.science/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
Accès au texte intégral et bibtex
https://inria.hal.science/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, 2008
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 !, 2008, 105, 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 !, 2008, 104, 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, 2007
Accès au bibtex
BibTex