Sites Inria

English version

Equipe de recherche TAMIS

Publications de l'équipe TAMIS

2017

Article dans des revues

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
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

Direction d'ouvrage, Proceedings

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

Pré-publication, Document de travail

titre
Toward a Sound Analysis of Guarded LTI Loops with Inputs by Abstract Acceleration (extended version)
auteur
Colas Le Guernic
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01550767/file/SoundAbsAccLTI.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 des revues

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
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
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

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
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
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
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
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
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
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
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
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
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
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 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
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
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
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
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

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

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
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
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
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
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à !