Sites Inria

English version

Equipe de recherche TAMIS

Publications de l'équipe TAMIS

2017

Article dans une revue

titre
A scalable and systolic architectures of montgomery modular multiplication for public key cryptosystems based on dsps
auteur
Nadia El Mrabet, Amine Mrabet, Ronan Lashermes, Jean-Baptiste Rigaud, Belgacem Bouallegue, Sihem Mesnager, Mohsen Machhout
article
Journal Hardware and Systems Security, Springer, 2017
Accès au bibtex
BibTex
titre
State of the art of network protocol reverse engineering tools
auteur
Julien Duchêne, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
article
Journal of Computer Virology and Hacking Techniques, Springer, 2017, 27p. 〈10.1007/s11416-016-0289-8〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01496958/file/jicv_SoA_ProtRE.pdf BibTex

Communication dans un congrès

titre
Reverse Engineering a Code without the Code
auteur
Abdelhak Mesbah, Jean-Louis Lanet, Mohamed Mezghiche
article
1st Reversing and Offensive-oriented Trends Symposium 2017 , Nov 2017, Vienna, Austria
Accès au bibtex
BibTex
titre
Data Aware Defense (DaD): Towards a Generic and Practical Ransomware Countermeasure,
auteur
Aurélien Palisse, Antoine Durand, Hélène Le Bouder, Colas Le Guernic, Jean-Louis Lanet
article
NordSec 2017, Nov 2017, Tartu, Estonia. 〈http://nordsec2017.cs.ut.ee/〉
Accès au bibtex
BibTex
titre
Persistant Fault Injection Attack, From White-box to Black-box
auteur
Abdelhak Mesbah, Mohamed Mezghiche, Jean-Louis Lanet
article
The 5th International Conference on Electrical Engineering - ICEE 2017, Oct 2017, Boumedrès, Algeria. 2017, 〈http://icee2017.univ-boumerdes.dz/〉
Accès au bibtex
BibTex
titre
HyLeak: Hybrid Analysis Tool for Information Leakage
auteur
Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez
article
ATVA 2017 - Fifteenth International Symposium on Automated Technology for Verification and Analysis, Oct 2017, Pune, India. pp.14
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01546817/file/main.pdf BibTex
titre
Information Leakage as a Scheduling Resource
auteur
Fabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay
article
International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems, Sep 2017, Turin, Italy. International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems, 2017, 〈http://www.es.mdh.se/conferences/fmics-avocs-2017/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01382052/file/main.pdf BibTex
titre
Toward a Sound Analysis of Guarded LTI Loops with Inputs by Abstract Acceleration (extended version)
auteur
Colas Le Guernic
article
Static Analysis Symposium, Aug 2017, New York, United States. 10422, Lecture Notes in Computer Science. 〈http://staticanalysis.org/sas2017/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01550767/file/SoundAbsAccLTI.pdf BibTex
titre
Detection of Side Channel Attacks based on Data Tainting in Android Systems
auteur
Mariem Graa, Nora Cuppens-Boulahia, Frédéric Cuppens, Jean-Louis Lanet, Routa Moussaileb
article
IFIP SEC 2017 : 32nd International Conference on ICT Systems Security and Privacy Protection, May 2017, Rome, Italy. Proceedings IFIP SEC 2017 : 32nd International Conference on ICT Systems Security and Privacy Protection, 502 - IFIPAICT (IFIP Advances in Information and Communication Technology) pp.1 - 14, 2017, 〈10.1007/978-3-319-58469-0_14〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01584401/file/Article.pdf BibTex
titre
Analyzing Ambient Assisted Living Solutions: A Research Perspective
auteur
Ashalatha Kunnappilly, Axel Legay, Tiziana Margaria, Cristina Seceleanu, Bernhard Steffen, Louis-Marie Traonouez
article
12th International Conference on Desig &Technology of Integrated Systems In Nanoscale Era (DTIS), Apr 2017, Palma de Mallorca, Spain. pp.1 - 7, 2017, 12th International Conference on Desig &Technology of Integrated Systems In Nanoscale Era (DTIS). 〈10.1109/DTIS.2017.7930168〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01591347/file/DTIS_2017_paper_27.pdf BibTex
titre
Plasma Lab Statistical Model Checker: Architecture, Usage and Extension
auteur
Axel Legay, Louis-Marie Traonouez
article
43rd International Conference on Current Trends in Theory and Practice of Computer Science, Jan 2017, Limerick, Ireland
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01613581/file/main.pdf BibTex
titre
Verification of Interlocking Systems Using Statistical Model Checking
auteur
Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay
article
18th IEEE International Symposium on High Assurance Systems Engineering (HASE), Jan 2017, Singapore, Singapore. pp.61 - 68, 2017, 18th IEEE International Symposium on High Assurance Systems Engineering (HASE). 〈10.1109/HASE.2017.10〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01591338/file/HASE_2017_paper_5.pdf BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Proceedings of the 1st ACM SAC Conference Track on Software-intensive Systems-of-Systems (SiSoS 2017)
auteur
Flavio Oquendo, Khalil Drira, Axel Legay, Thais Batista
article
Apr 2017, Marrakesh, Morocco. ACM, 2017
Accès au bibtex
BibTex
titre
The HiPEAC Vision 2017
auteur
Marc Duranton, Koen De Bosschere, Christian Gamrat, Jonas Maebe, Harm Munk, Olivier Zendra
article
Marc Duranton; Koen De Bosschere; Christian Gamrat; Jonas Maebe; Harm Munk; Olivier Zendra. France. HiPEAC network of excellence, pp.138, 2017, 978-90-9030182-2
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01491758/file/HiPEAC_Vision_2017.pdf BibTex

Thèse

titre
Discouraging Abusive Behavior in Privacy-Preserving Decentralized Online Social Networks
auteur
Álvaro García-Recuero
article
Computer Science [cs]. University of Rennes 1; Inria Rennes - Bretagne Atlantique, 2017. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01548658/file/these-phd-alvaro-2017.pdf BibTex
titre
Discouraging abusive behavior in privacy-preserving decentralized online social networks
auteur
Álvaro García Recuero
article
Social and Information Networks [cs.SI]. Université Rennes 1, 2017. English. 〈NNT : 2017REN1S010〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01591935/file/GARCIA_RECUERO_Alvaro.pdf BibTex

Pré-publication, Document de travail

titre
High-level Frameworks for the Specification and Verification of Scheduling Problems
auteur
Mounir Chadli, Jin Kim, Kim Larsen, Axel Legay, Stefan Naujokat, Bernhard Steffen, Louis-Marie Traonouez
article
2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01613576/file/main.pdf BibTex
titre
Universal Optimality of Apollonian Cell Encoders
auteur
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01571226/file/main.pdf BibTex
titre
An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT -- Extended Version
auteur
Thomas Given-Wilson, Nisrine Jafri, Jean-Louis Lanet, Axel Legay
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01400283/file/main.pdf BibTex

2016

Article dans une revue

titre
Des attaques informatiques utilisant la physique
auteur
Hélène Le Bouder
article
Interstices, INRIA, 2016
Accès au bibtex
BibTex
titre
Bypassing Malware Obfuscation with Dynamic Synthesis
auteur
Fabrizio Biondi, Sébastien Josse, Axel Legay
article
ERCIM News, ERCIM, 2016, 〈http://ercim-news.ercim.eu/en106〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01378662/file/32-biondi-edited%20%282%29.pdf BibTex
titre
Attainable Unconditional Security for Shared-Key Cryptosystems
auteur
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
article
Information Sciences, Elsevier, 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01378640/file/main.pdf BibTex
titre
Statistical Model Checking with Change Detection
auteur
Axel Legay, Louis-Marie Traonouez
article
Foundations for Mastering Change, Springer, 2016, Transactions on Foundations for Mastering Change I
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01242138/file/fomacs.pdf BibTex
titre
Vulnerability Prediction Against Fault Attacks
auteur
Nisrine Jafri, Axel Legay, Jean-Louis Lanet
article
ERCIM News, ERCIM, 2016, 〈http://ercim-news.ercim.eu/en106/special/vulnerability-prediction-against-fault-attacks〉
Accès au bibtex
BibTex
titre
Skyfall : Tombé du ciel
auteur
Jean-Louis Lanet
article
Interstices, INRIA, 2016, 〈https://interstices.info/jcms/p_87300/skyfall-tombe-du-ciel〉
Accès au bibtex
BibTex
titre
Optimizing the Resource Requirements of Hierarchical Scheduling Systems
auteur
Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim Guldstrand Larsen, Insup Lee, Jin-Young Choi
article
ACM SIGBED Review, Association for Computing Machinery (ACM), 2016, 13 (3), pp.41-48. 〈10.1145/2983185.2983192〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01406459/file/j56.pdf BibTex
titre
Contract-Based Requirement Modularization via Synthesis of Correct Decompositions
auteur
Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay
article
Theory of Computing Systems, Springer Verlag, 2016, 15, 〈10.1145/2885752〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01406481/file/j52.pdf BibTex
titre
ASTROLABE: A Rigorous Approach for System-Level Performance Modeling and Analysis
auteur
Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2016, 〈10.1145/2885498〉
Accès au bibtex
BibTex
titre
The NSA’s SKYNET program may be killing thousands of innocent people
auteur
Christian Grothoff, Jens Porup
article
Ars Technica, WIRED Media Group, 2016, 〈http://arstechnica.co.uk/security/2016/02/the-nsas-skynet-program-may-be-killing-thousands-of-innocent-people/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01278193/file/ars-skynet-1.pdf BibTex
titre
A Tag Contract Framework for Modeling Heterogeneous Systems
auteur
Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay
article
Science of Computer Programming, Elsevier, 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01406446/file/j57.pdf BibTex
titre
Trust Can be Misplaced
auteur
Noreddine Janati, Guillaume Bouffard, Jean-Louis Lanet, Said Elhajji
article
Journal of Cryptographic Engineering, Springer, 2016, 〈10.1007/s13389-016-0142-5〉
Accès au bibtex
BibTex
titre
Chronicle of a Java Card Death
auteur
Farhadi Mozhdeh, Jean-Louis Lanet
article
Journal of Computer Virology and Hacking Techniques, Springer, 2016, 〈10.1007/s11416-016-0276-0 〉
Accès au bibtex
BibTex
titre
Command-based importance sampling for statistical model checking
auteur
Cyrille Jegourel, Axel Legay, Sean Sedwards
article
Theoretical Computer Science, Elsevier, 2016, 649, pp.1 - 24
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01387299/file/main.pdf BibTex

Communication dans un congrès

titre
Side-channel Analysis of Lightweight Ciphers: Does Lightweight Equal Easy?
auteur
Annelie Heuser, Stjepan Picek, Sylvain Guilley, Nele Mentens
article
RFIDSec 2016: 12th Workshop on RFID and IoT Security, Nov 2016, Hong Kong, Hong Kong SAR China
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01402238/file/RFIDSec_camera_ready.pdf BibTex
titre
The SoS Architect Studio: Toolchain for the Formal Architecture Description and Analysis of Software-intensive Systems-of-Systems with SosADL
auteur
Flavio Oquendo, Jeremy Buisson, Elena Leroux, Gersan Moguérou, Jean Quilbeuf
article
Proceedings of the ECSA International Colloquium on Software-intensive Systems-of-Systems (SiSoS), Nov 2016, Copenhagen, Denmark
Accès au bibtex
BibTex
titre
Statistical Model Checking of Dynamic Software Architectures
auteur
Everton Cavalcante, Jean Quilbeuf, Louis-Marie Traonouez, Flavio Oquendo, Thais Batista, Axel Legay
article
ECSA 2016 - 10th European Conference on Software Architecture, Nov 2016, Copenhague, Denmark. Proceedings of the 2016 European Conference of Software Architecture, Proceedings of the 2016 European Conference of Software Architecture
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01390707/file/2016-ECSA.pdf BibTex
titre
Importance Sampling for Stochastic Timed Automata
auteur
Cyrille Jegourel, Kim Guldstrand Larsen, Axel Legay, Marius Mikučionis, Danny Poulsen, Sean Sedwards
article
Dependable Software Engineering: Theories, Tools, and Applications, Nov 2016, Beijing, China. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01387293/file/main.pdf BibTex
titre
The Hell Forgery, Polymorphic Codes Shoot Again
auteur
Abdelhak Mesbah, Leo Regnaud, Jean-Louis Lanet, Mohamed Mezghiche
article
15th Smart Card Research and Advanced Application Conference , Nov 2016, Cannes, France. 〈https://2016.cardis.org/〉
Accès au bibtex
BibTex
titre
Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow
auteur
Yusuke Kawamoto, Fabrizio Biondi, Axel Legay
article
FM 2016 - 21st International Symposium on Formal Methods, Nov 2016, Limassol, Cyprus
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01378675/file/main.pdf BibTex
titre
A Quantitative Analysis of Cell Tower Trace Data for Understanding Human Mobility and Mobile Networks
auteur
Neal Walfield, John Linwood Griffin, Christian Grothoff
article
6th International Workshop on Mobile Entity Localization, Tracking and Analysis (MELT), Oct 2016, San Francisco, United States. 2016, 〈https://sites.google.com/site/meltworks/home〉. 〈10.1145/1235〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01378622/file/melt2016.pdf BibTex
titre
A Multi-Round Side Channel Attack on AES using Belief Propagation
auteur
Hélène Le Bouder, Ronan Lashermes, Yanis Linge, Gaël Thomas, Jean-Yves Zie
article
FPS 2016, Oct 2016, Québec, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01405793/file/paper_final.pdf BibTex
titre
On the Expressiveness of Symmetric Communication
auteur
Thomas Given-Wilson, Axel Legay
article
Theoretical Aspects of Computing – ICTAC 2016, Oct 2016, Taipei, Taiwan. 9965 pp.139-157, 2016, 〈10.1007/978-3-319-46750-4_9〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01241839/file/ICTAC_2016_paper_15_version_2.pdf BibTex
titre
Statistical Model Checking for Product Lines
auteur
Maurice H Ter Beek, Axel Legay, Alberto Lluch Lafuente, Andrea Vandin
article
7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01406531/file/c164.pdf BibTex
titre
On the Power of Statistical Model Checking
auteur
Kim Guldstrand Larsen, Axel Legay
article
7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece. pp.843 - 862, 2016, 〈10.1007/978-3-319-47169-3_62〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01406537/file/c162.pdf BibTex
titre
Plasma Lab: A Modular Statistical Model Checking Platform
auteur
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
article
ISoLA, Oct 2016, Corfou, Greece. Springer, 9952, pp.77 - 93, 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 〈10.1007/978-3-319-47166-2_6〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01387435/file/main.pdf BibTex
titre
A Logic for the Statistical Model Checking of Dynamic Software Architectures
auteur
Jean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flavio Oquendo, Thais Batista, Axel Legay
article
ISoLA, Oct 2016, Corfou, Greece. Springer, 9952, pp.806 - 820, 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 〈10.1007/978-3-319-47166-2_56〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01387429/file/main.pdf BibTex
titre
Performance Evaluation of Complex Systems Using the SBIP Framework
auteur
Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem
article
he International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS), Oct 2016, Tunis, Tunisia
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01406591/file/c154.pdf BibTex
titre
Security and Privacy of Protocols and Software with Formal Methods
auteur
Fabrizio Biondi, Axel Legay
article
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Oct 2016, Kommeno, Greece. 2016, ISoLA 2016 - 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01378645/file/main.pdf BibTex
titre
A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems
auteur
Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen
article
FMICS-AVoCS, Sep 2016, Pise, Italy. Springer, 9933, pp.133 - 141, Critical Systems: Formal Methods and Automated Verification. 〈10.1007/978-3-319-45943-1_9〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01241681/file/main.pdf BibTex
titre
Runtime Code Polymorphism as a Protection Against Side Channel Attacks
auteur
Damien Couroussé, Thierno Barry, Bruno Robisson, Philippe Jaillon, Olivier Potin, Jean-Louis Lanet
article
10th IFIP WG 11.2 International Conference, WISTP 2016, Sep 2016, Heraklion, Greece. Lecture Notes in Computer Science, 10th IFIP WG 11.2 International Conference, WISTP 2016, Heraklion, Crete, Greece, September 26–27, 2016, Proceedings, Volume 9895, pp 136-152, 2016, Information Security Theory and Practice. 〈10.1007/978-3-319-45931-8_9〉
Accès au texte intégral et bibtex
https://hal-emse.ccsd.cnrs.fr/emse-01372223/file/WISTP-2016-preprint.pdf BibTex
titre
Privacy-Preserving Abuse Detection in Future Decentralised Online Social Networks
auteur
Álvaro García-Recuero, Jeffrey Burdges, Christian Grothoff
article
Giovanni Livraga; Vicenç Torra; Alessandro Aldini; Fabio Martinelli; Neeraj Suri. 11th International ESORICS Workshop in Data Privacy Management, DPM 2016, Sep 2016, Heraklion, Crete, Greece. Springer, 9963, pp.78-93, Springer Lecture Notes in Computer Science (LNCS) series. 〈http://dpm2016.di.unimi.it/〉. 〈10.1007/978-3-319-47072-6_6〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01355951/file/p4t.pdf BibTex
titre
Malware’O’Matic a platform to analyze Malware
auteur
Aurélien Palisse, Antoine Durand, Jean-Louis Lanet
article
French Japanese workshop on CyberSecurity, Sep 2016, Rennes, France. 2016
Accès au bibtex
BibTex
titre
Rare Events for Statistical Model Checking: An Overview
auteur
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
article
Reachability Problems, Sep 2016, Aalborg, Denmark. 9899, pp.23 - 35, 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01387406/file/main.pdf BibTex
titre
Long-term average cost in featured transition systems
auteur
Rafael Olaechea, Uli Fahrenberg, Joanne Atlee, Axel Legay
article
SPLC '16 - 20th International Systems and Software Product Line Conference, Sep 2016, Beijing, China. ACM, pp.109 - 118, 2016, 〈10.1145/2934466.2934473〉
Accès au bibtex
https://arxiv.org/pdf/1604.06781 BibTex
titre
High-performance Elliptic Curve Cryptography by Using the CIOS Method for Modular Multiplication
auteur
Amine Mrabet, Nadia El-Mrabet, Ronan Lashermes, Jean-Baptiste Rigaud, Belgacem Bouallegue, Sihem Mesnager, Mohsen Machhout
article
CRiSIS 2016, Sep 2016, Roscoff, France. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01383162/file/Article_arith.pdf BibTex
titre
Protocol reverse engineering: Challenges and obfuscation
auteur
Julien Duchêne, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
article
Frédéric Cuppens; Nora Cuppens; Jean-Louis Lanet; Axel Legay. The 11th International Conference on Risks and Security of Internet and Systems - CRiSIS 2016, Sep 2016, Roscoff, France. Springer, Lecture Notes in Computer Science, 10158, 2017, Risks and Security of Internet and Systems. 〈https://conferences.telecom-bretagne.eu/crisis/2016/〉. 〈10.1007/978-3-319-54876-0_11〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01388060/file/crisis.pdf BibTex
titre
Ransomware and the Legacy Crypto API
auteur
Aurélien Palisse, Hélène Le Bouder, Jean-Louis Lanet, Colas Le Guernic, Axel Legay
article
Frédéric Cuppens; Nora Cuppens; Jean-Louis Lanet; Axel Legay. The 11th International Conference on Risks and Security of Internet and Systems - CRiSIS 2016, Sep 2016, Roscoff, France. Springer, Lecture Notes in Computer Science, 10158, pp.11-28, 2017, Risks and Security of Internet and Systems. 〈https://conferences.telecom-bretagne.eu/crisis/2016/〉. 〈10.1007/978-3-319-54876-0_2〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01388056/file/papier.pdf BibTex
titre
A Formal Verification of Safe Update Point Detection in Dynamic Software Updating
auteur
Razika Lounas, Nisrine Jafri, Axel Legay, Mohamed Mezghiche, Jean-Louis Lanet
article
CRiSIS 2016 - The 11th International Conference on Risks and Security of Internet and Systems , Sep 2016, Roscoff, France. LNCS
Accès au bibtex
BibTex
titre
Modelling Attack-defense Trees Using Timed Automata
auteur
Olga Gadyatskaya, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Olesen, Danny Poulsen
article
FORMATS 2016 -14th International Conference on Formal Modelling and Analysis of Timed Systems, Aug 2016, Quebec City, Canada. pp.35 - 50, 2016, 〈10.1007/978-3-319-44878-7_3〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01406706/file/formats2016.pdf BibTex
titre
An Application of SMC to continuous validation of heterogeneous systems
auteur
Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
article
Simutools 2016 - Ninth EAI International Conference on Simulation Tools and Techniques, Aug 2016, Prague, Czech Republic. Proceedings of the Ninth EAI International Conference on Simulation Tools and Techniques
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01390487/file/SIMUTOOLS.pdf BibTex
titre
A Template Attack Against VERIFY PIN Algorithms
auteur
Hélène Le Bouder, Thierno Barry, Damien Couroussé, Jean-Louis Lanet, Ronan Lashermes
article
SECRYPT 2016, Jul 2016, Lsbonne, Portugal. pp.231 - 238, 2016, 〈10.5220/0005955102310238〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01383143/file/SECRYPT2016_PIN_code.pdf BibTex
titre
PSCV: A Runtime Verification Tool for Probabilistic SystemC Models
auteur
Van Ngo, Axel Legay, Vania Joloboff
article
Swarat Chaudhuri; Azadeh Farzan CAV 2016 - 28th International Conference on Computer Aided Verification, Jul 2016, Toronto, Canada. Springer, 9779, pp.84 - 91, 2016, LNCS - Lecture Notes in Computer Science. 〈10.1007/978-3-319-41528-4_5〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01406488/file/c177.pdf BibTex
titre
Taler: Usable, privacy-preserving payments for the Web
auteur
Jeffrey Burdges, Florian Dold, Christian Grothoff, Marcello Stanisci
article
HotPETS 2016 - Workshop on Hot Topics in Privacy Enhancing Technologies, Jun 2016, Darmstadt Germany. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01398201/file/ui_short-submit.pdf BibTex
titre
Paper Tiger, an endless fight
auteur
Farhadi Mozhdeh, Jean-Louis Lanet
article
SecITC 9th International Conference on Security for Information Technology and Communications, Jun 2016, Bucarest, Romania. LNCS (10006), 2016, Innovative Security Solutions for Information Technology and Communications. 〈http://www.secitc.eu/〉. 〈10.1007/978-3-319-47238-6 〉
Accès au bibtex
BibTex
titre
Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata
auteur
Pedro D'Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards
article
Integrated Formal Methods, Jun 2016, Reykjavik, Iceland. 9681, pp.99-114, 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01387362/file/paper.pdf BibTex
titre
Featured model-based mutation analysis
auteur
Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
article
ICSE '16 - 38th International Conference on Software Engineering, May 2016, Austin, United States. pp.655 - 666, 2016, 〈10.1145/2884781.2884821〉
Accès au bibtex
BibTex
titre
Featured model types: Towards Systematic Reuse in Modelling Language Engineering
auteur
Gilles Perrouin, Moussa Amrani, Mathieu Acher, Benoit Combemale, Axel Legay, Pierre-Yves Schobbens
article
MiSE '16 - 8th International Workshop on Modeling in Software Engineering, May 2016, New york, United States. ACM, pp.1 - 7, 2016, 〈10.1145/2896982.2896987〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01406507/file/c171.pdf BibTex
titre
COGITO: Génération de code au runtime pour la sécurité des systèmes embarqué
auteur
Damien Couroussé, Jean-Louis Lanet, Bruno Robisson, Thierno Barry, Philippe Jaillon
article
Ressi 2016, May 2016, Toulouse, France. 2016
Accès au bibtex
BibTex
titre
Analyse et détection de logiciels malveillants,
auteur
Aurélien Palisse, Jean-Louis Lanet
article
Ressi 2016, May 2016, Toulouse, France
Accès au bibtex
BibTex
titre
Discouraging Abusive Behavior in Privacy-Preserving Online Social Networking Applications
auteur
Álvaro García-Recuero
article
In 25th International World Wide Web Conference, Apr 2016, Montréal, Canada. WWW Companion Volume, 〈http://doi.acm.org/10.1145/2872518.2888600〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01272654/file/article-www-proceedings.pdf BibTex
titre
A Formal Modeling and Analysis Framework for Software Product Line of Preemptive Real-Time Systems
auteur
Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Mathieu Acher, Sungwon Kang
article
Symposium on Applied Computing, Apr 2016, Pise, Italy. ACM, pp.1562 - 1565, 2016, Proceedings of the 31st Annual Symposium on Applied Computing. 〈10.1145/2851613.2851977〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01241673/file/main.pdf BibTex
titre
Tracking explicit and control flows in Java and native Android apps code,
auteur
Mariem Graa, Frédéric Cuppens, Nora Cuppens-Boulahia, Jean-Louis Lanet
article
ICISSP 2016 : 2nd International Conference on Information Systems Security and Privacy,, Feb 2016, Roma, Italy. 2016, 〈http://www.icissp.org/〉
Accès au bibtex
BibTex
titre
Search-based Similarity-driven Behavioural SPL Testing
auteur
Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
article
VaMoS '16 - Tenth International Workshop on Variability Modelling of Software-intensive Systems, Jan 2016, Salvador, Brazil. ACM, pp.89 - 96, 2016, 〈10.1145/2866614.2866627〉
Accès au bibtex
BibTex
titre
Internet des objets : la nouvelle fragilité ?
auteur
Maryline Boizard, Jean-Louis Lanet
article
Forum international de la cybersécurité, Jan 2016, Lille, France. 〈https://www.forum-fic.com/〉
Accès au bibtex
BibTex
titre
Statistical Model Checking for SystemC Models
auteur
Van Chan Ngo, Axel Legay, Jean Quilbeuf
article
High Assurance Systems Engineering Symposium, Jan 2016, Orlando, Florida, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01238162/file/PID3995829.pdf BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Proceedings of the European Colloquium on Software-intensive Systems-of-Systems (ECSoS 2016)
auteur
Flavio Oquendo, Muhammad Ali Babar, Khalil Drira, Axel Legay
article
Copenhagen, Denmark. ACM DL, 2016
Accès au bibtex
BibTex
titre
UAV Networks and Communications
auteur
Serge Chaumette, Jin Hyun Kim, Kamesh Namuduri, James P.G. Sterbenz
article
France. Cambridge University Press, 2016
Accès au bibtex
BibTex

Autre publication

titre
Side-channel Analysis of Lightweight Ciphers: Current Status and Future Directions
auteur
Annelie Heuser, Stjepan Picek, Sylvain Guilley, Nele Mentens
article
Lightweight Cryptography Workshop 2016. 2016
Accès au bibtex
BibTex
titre
A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories
auteur
Uli Fahrenberg, Axel Legay
article
We propose behavioral specification theories for most equivalences in the linear-time–branching-t.. 2016
Accès au bibtex
https://arxiv.org/pdf/1604.06503 BibTex

Pré-publication, Document de travail

titre
Verification of interlocking systems using statistical model checking
auteur
Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay
article
2016
Accès au bibtex
https://arxiv.org/pdf/1605.02529 BibTex
titre
Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow
auteur
Yusuke Kawamoto, Fabrizio Biondi, Axel Legay
article
2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01241360/file/main.pdf BibTex
titre
Attainable Unconditional Security for Shared-Key Cryptosystems
auteur
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
article
2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01233185/file/main.pdf BibTex

2015

Article dans une revue

titre
A survey of Fault attacks in Pairing Based Cryptography
auteur
Nadia El Mrabet, Ronan Lashermes, Jacques Fournier, Louis Goubin
article
Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences , Springer, 2015, 7 (1), pp.185--205. 〈https://doi.org/10.1007/s12095-014-0114-5〉. 〈10.1007/s12095-014-0114-5〉
Accès au bibtex
BibTex

Communication dans un congrès

titre
An Approach for Formal Verification of Updated Java Bytecode Programs
auteur
Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet
article
9th International Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2015, Bucarest, Romania. 〈http://vecos.ensta-paristech.fr/2015/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01250600/file/15-Vecos.pdf BibTex
titre
Countermeasures Mitigation for Designing Rich Shell Code in Java Card
auteur
Noreddine Janati, Said Elhajji, Jean-Louis Lanet
article
Said El Hajji; Abderrahmane Nitaj; Claude Carlet; El Mamoun Souidi. C2SI 2015 - First International Conference Codes, Cryptology, and Information Security, May 2015, Rabat, Morocco. Springer, Volume 9084 of the series Lecture Notes in Computer Science, pp.149-161, Codes, Cryptology, and Information Security. 〈10.1007/978-3-319-18681-8_12〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01250590/file/richShellCode.pdf BibTex
titre
Beyond Cryptanalysis is Software Security the Next Threat for Smart Cards
auteur
Jean-Louis Lanet
article
Said El Hajji ; Abderrahmane Nitaj ; Claude Carlet; El Mamoun Souidi C2SI 2015 - First International Conference Codes, Cryptology, and Information Security, May 2015, Rabat, Morocco. Springer, Volume 9084 of the series Lecture Notes in Computer Science, pp.74-82, Codes, Cryptology, and Information Security. 〈10.1007/978-3-319-18681-8_6〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01250585/file/InvitedTalk.pdf BibTex
titre
Model-Based Robustness Testing in Event-B Using Mutation
auteur
Aymerick Savary, Marc Frappier, Michael Leuschel, Jean-Louis Lanet
article
Radu Calinescu; Bernhard Rumpe SEFM 2015 - 13th International Conference Software Engineering and Formal Methods, Jan 2015, York, United Kingdom. Springer, Lecture Notes in Computer Science Volume 9276 (Volume 9276 ), pp.132-147, 2015, Software Engineering and Formal Methods. 〈10.1007/978-3-319-22969-0_10〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01250594/file/SEFM-2015_Article.pdf BibTex

2014

Communication dans un congrès

titre
Memory Forensics of a Java Card Dump
auteur
Jean-Louis Lanet, Guillaume Bouffard, Rokia Lamrani, Ranim Chakra, Afef Mestiri, Mohammed Monsif, Abdellatif Fandi
article
Marc Joye; Amir Moradi. Cardis 2014 - 13th International Conference Smart Card Research and Advanced Application Conference, Nov 2014, Paris, France. Springer, 8968, pp.3-17, 2015, LNCS - Lecture notes in computer science. 〈10.1007/978-3-319-16763-3_1〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01250605/file/14-CARDIS-JCDA.pdf BibTex
titre
Heap . . . Hop! Heap Is Also Vulnerable
auteur
Guillaume Bouffard, Michael Lackner, Jean-Louis Lanet, Johannes Loinig
article
Cardis 2014, Nov 2014, Paris, France. Volume 8968 2015, Lecture Notes in Computer Science 〈10.1007/978-3-319-16763-3_2〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01250610/file/CardisHeapHop.pdf BibTex
titre
Statistical Model Checking: Past, Present, and Future
auteur
Kim Guldstrand Larsen, Axel Legay
article
6th International Symposium, ISoLA 2014, Oct 2014, Corfu, Greece
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01406518/file/c167.pdf BibTex

2013

Communication dans un congrès

titre
A Timed Component Algebra for Services
auteur
Benoît Delahaye, José Fiadeiro, Axel Legay, Antónia Lopes
article
Dirk Beyer; Michele Boreale. 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. Springer, Lecture Notes in Computer Science, LNCS-7892, pp.242-257, 2013, Formal Techniques for Distributed Systems. 〈10.1007/978-3-642-38592-6_17〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01515250/file/978-3-642-38592-6_17_Chapter.pdf BibTex

2012

Communication dans un congrès

titre
Quantitative Modal Transition Systems
auteur
Kim Larsen, Axel Legay
article
Narciso Martí-Oliet; Miguel Palomino. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. Springer, Lecture Notes in Computer Science, LNCS-7841, pp.50-58, 2013, Recent Trends in Algebraic Development Techniques. 〈10.1007/978-3-642-37635-1_3〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01485977/file/978-3-642-37635-1_3_Chapter.pdf BibTex

Suivez Inria tout au long de son 50e anniversaire et au-delà !