Publications

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

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

Conference papers

titre

Sound Symbolic Execution via Abstract Interpretation and its Application to Security

auteur

Ignacio Tiraboschi, Tamara Rezk, Xavier Rival

article

VMCAI 2023 – 24th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2023, Boston, MA, United States. pp.267-295, ⟨10.1007/978-3-031-24950-1_13⟩

Accès au texte intégral et 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

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

titre

Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure

auteur

Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk

article

ACM Transactions on Privacy and Security, 2022

Accès au 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

titre

Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level

auteur

Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk

article

IEEE Security and Privacy (IEEE S&P’20), May 2020, Virtual, France

Accès au 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Accès au 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

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

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

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

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

titre

DSLM : Dynamic Synchronous Language with Memory

auteur

Pejman Attar

article

2012

Accès au texte intégral et bibtex

2011

Journal articles

titre

Une révolution permanente

auteur

Gérard Berry

article

Interstices, 2011

Accès au 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

titre

Simulation of Quantum Mechanics Using Reactive Programming

auteur

Frédéric Boussinot

article

2011

Accès au texte intégral et 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

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

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

Preprints, Working Papers, …

titre

The FunLoft Language

auteur

Frédéric Boussinot

article

2010

Accès au texte intégral et 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

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

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

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

2007

Journal articles

titre

L’informatisation des objets, ou l’invasion des pucerons

auteur

Gérard Berry

article

Interstices, 2007

Accès au bibtex