Sites Inria

English version

Equipe de recherche TAMIS

Publications de l'équipe TAMIS

2017

Article dans une revue

titre
Byzantine set-union consensus using efficient set reconciliation
auteur
Florian Dold, Christian Grothoff
article
EURASIP Journal on Information Security, Hindawi, 2017, 2017 (1), pp.1-18. 〈10.1186/s13635-017-0066-3〉
Accès au bibtex
BibTex
titre
Template attack versus Bayes classifier
auteur
Stjepan Picek, Annelie Heuser, Sylvain Guilley
article
Journal of Cryptographic Engineering, Springer, 2017, 7 (4), pp.343-351. 〈10.1007/s13389-017-0172-7〉
Accès au bibtex
BibTex
titre
Effectiveness of Synthesis in Concolic Deobfuscation
auteur
Fabrizio Biondi, Sébastien Josse, Axel Legay, Thomas Sirvent
article
Computers and Security, Elsevier, 2017, 70, pp.500-515. 〈10.1016/j.cose.2017.07.006〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01241356/file/cosemain.pdf BibTex
titre
Lightweight Ciphers and their Side-channel Resilience
auteur
Annelie Heuser, Stjepan Picek, Sylvain Guilley, Nele Mentens
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2017, pp.1-16. 〈10.1109/TC.2017.2757921〉
Accès au bibtex
BibTex
titre
Optimal side-channel attacks for multivariate leakages and multiple models
auteur
Bruneau Nicolas, Sylvain Guilley, Annelie Heuser, Marion Damien, Olivier Rioul
article
Journal of Cryptographic Engineering, Springer, 2017, 7 (4), pp.331-341. 〈10.1007/s13389-017-0170-9〉
Accès au bibtex
BibTex
titre
On the optimality and practicability of mutual information analysis in some scenarios
auteur
Èloi De Chèrisey, Sylvain Guilley, Annelie Heuser, Olivier Rioul
article
Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences , Springer, 2017
Accès au bibtex
BibTex
titre
Reverse engineering a Java Card memory management algorithm
auteur
Jean-Louis Lanet, Abdelhak Mesbah, Mohamed Mezghiche
article
Computers & Security, 2017, 66, pp.97 - 114. 〈10.1016/j.cose.2017.01.005〉
Accès au bibtex
BibTex
titre
Stochastic Collision Attack
auteur
Bruneau Nicolas, Claude Carlet, Sylvain Guilley, Annelie Heuser, Emmanuel Prouff, Olivier Rioul
article
IEEE Transactions on Information Forensics and Security, Institute of Electrical and Electronics Engineers, 2017, 12 (9), pp. 2090 - 2104. 〈10.1109/TIFS.2017.2697401〉
Accès au bibtex
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
EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, ICST, 2017, 4 (10), pp.1-19. 〈10.4108/eai.1-2-2017.152154〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01630523/file/SIMUTOOLS.pdf BibTex
titre
Statistical Prioritization for Software Product Line Testing: an Experience Report
auteur
Xavier Devroey, Gilles Perrouin, Maxime Cordy, Hamza Samih, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
article
Software and Systems Modeling, Springer Verlag, 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01642289/file/statistical-prioritization.pdf BibTex
titre
When time meets test
auteur
Jean-Louis Lanet, Hélène Le Bouder, Mohammed Benattou, Axel Legay
article
International Journal of Information Security, Springer Verlag, 2017, 〈10.1007/s10207-017-0371-3〉
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
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
A Formal Verification of Dynamic Updating in a Java-based embedded System
auteur
Razika Lounas, Jean-Louis Lanet, Mohamed Mezghiche
article
International Journal of Critical Computer-Based Systems, Inderscience, A Paraître
Accès au bibtex
BibTex
titre
Machine Learning Techniques to Predict Sensitive Patterns to Fault Attack in the Java Card Application
auteur
Yayaoui Cheherazed, Jean-Louis Lanet, Mohamed Mezghiche, Karim Tamine
article
Journal of Experimental and Theoretical Artificial Intelligence, Taylor & Francis, A Paraître
Accès au bibtex
BibTex

Communication dans un congrès

titre
Experimenting similarity-based hijacking attacks detection and response in Android Systems
auteur
Jean-Louis Lanet
article
ICISS, International Conference on Information Systems Security, Dec 2017, Bombay, India
Accès au bibtex
BibTex
titre
The Express Laundry - from black box to white box
auteur
Jean-Louis Lanet, Abdelhak Mesbah
article
Workshop InS3PECT: Ingénierie Système de Services Sécurisés Pour objEts ConnecTé, Dec 2017, Nice, France
Accès au bibtex
BibTex
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
MASSE: Modular Automated Syntactic Signature Extraction
auteur
Fabrizio Biondi, François Déchelle, Axel Legay
article
ISSRE 2017 - The 28th International Symposium on Software Reliability Engineering - IEEE, Oct 2017, Toulouse, France. IEEE, pp.1-2
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01629035/file/main.pdf 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
How TrustZone could be bypassed: Side-Channel Attacks on a modern System-on-Chip
auteur
Bukasa Kevin, Ronan Lashermes, Jean-Louis Lanet, Hélène Le Bouder, Axel Legay
article
Wistp'17, International Conference on Information Security Theory and Practice, Sep 2017, Heraklion, Greece
Accès au bibtex
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
Real-time detection and reaction to Activity hijacking attacks in Android smartphones
auteur
Anis Bkakria, Mariem Graa, Nora Cuppens-Boulahia, Frédéric Cuppens, Jean-Louis Lanet
article
PST 2017, Privacy, Security, and Trust - 15th International Conference, Aug 2017, Calgary, Canada
Accès au bibtex
BibTex
titre
Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata
auteur
Peter Gjøl Jensen, Kim Larsen, Axel Legay, Danny Poulsen
article
GraMSec 2017 - The Fourth International Workshop on Graphical Models for Security, Aug 2017, Santa Barbara United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01640091/file/GramSec17_paper_5.pdf BibTex
titre
An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT
auteur
Thomas Given-Wilson, Nisrine Jafri, Jean-Louis Lanet, Axel Legay
article
2017 IEEE Trustcom/BigDataSE/ICESS, Aug 2017, Sydney, Australia. pp.293 - 300, 2017, 〈10.1109/Trustcom/BigDataSE/ICESS.2017.250〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01629098/file/PID4843765.pdf BibTex
titre
Practical Controller Synthesis for MTL$0,∞$
auteur
Guangyuan Li, Peter Jensen, Kim Larsen, Axel Legay, Danny Poulsen
article
International SPIN Symposium on Model Checking of Software, Jul 2017, Santa barbara United States. 〈10.1145/nnnnnnn.nnnnnnn〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01642162/file/spin.pdf BibTex
titre
Trade-Offs for S-Boxes: Cryptographic Properties and Side-Channel Resilience
auteur
Claude Carlet, Annelie Heuser, Stjepan Picek
article
ACNS 2017 - International Conference on Applied Cryptography and Network Security, Jul 2017, Kanazawa, Japan. Springer, 10355, pp.393-414, LNCS. 〈10.1007/978-3-319-61204-1_20〉
Accès au bibtex
BibTex
titre
Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults
auteur
Thomas Given-Wilson, Axel Legay, Sean Sedwards
article
Theo Tryfonas. HAS 2017 - International Conference on Human Aspects of Information Security, Privacy, and Trust, Jul 2017, Vancouver, Canada. Springer, 10292, pp.90-109, LNCS. 〈10.1007/978-3-319-58460-7_7〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01629094/file/main.pdf BibTex
titre
Formal Methods and the Dark Side of the Force
auteur
Jean-Louis Lanet
article
Journée Approches Formelles des Systèmes Embarqués Communicants, Jun 2017, Paris, France
Accès au bibtex
BibTex
titre
Stochastic Side-Channel Leakage Analysis via Orthonormal Decomposition
auteur
Sylvain Guilley, Annelie Heuser, Ming Tang, Olivier Rioul
article
SecITC 2017, Jun 2017, Bucharest, Romania
Accès au bibtex
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
Sabrina De Capitani di Vimercati; Fabio Martinelli. SEC 2017 - 32th IFIP International Conference on ICT Systems Security and Privacy Protection, May 2017, Rome, Italy. Springer International Publishing, IFIP Advances in Information and Communication Technology, AICT-502, pp.205-218, 2017, ICT Systems Security and Privacy Protection. 〈10.1007/978-3-319-58469-0_14 〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01648994/file/449885_1_En_14_Chapter.pdf BibTex
titre
When data reveals ransomware activity
auteur
Jean-Louis Lanet, Aurélien Palisse
article
4th International Conference on Operational Planning, Technological Innovations and Mathematical Applications,, May 2017, Athen, Greece
Accès au bibtex
BibTex
titre
Climbing Down the Hierarchy: Hierarchical Classification for Machine Learning Side-Channel Attacks
auteur
Stjepan Picek, Annelie Heuser, Alan Jovic, Axel Legay
article
AFRICACRYPT 2017 - International Conference on Cryptology in Africa, May 2017, Dakar, Senegal. Springer, 10239, pp.61-78, LNCS. 〈10.1007/978-3-319-57339-7_4〉
Accès au bibtex
BibTex
titre
Do we need a holistic approach for the design of secure IoT systems?
auteur
Mauro Contini, Giorgio Di Natale, Annelie Heuser, Thomas Poppelmann, Nele Mentens
article
Computing Frontiers Conference, May 2017, Siena, Italy. ACM International Conference on Computing Frontiers, 2017, 〈http://www.computingfrontiers.org/2017/〉
Accès au bibtex
BibTex
titre
Side-channel analysis and machine learning: A practical perspective
auteur
Stjepan Picek, Annelie Heuser, Alan Jovic, Simone Ludwig, Sylvain Guilley, Domagoj Jakobović, Nele Mentens
article
International Joint Conference on Neural Networks (IJCNN), May 2017, Anchorage, United States
Accès au bibtex
BibTex
titre
Codes for Side-Channel Attacks and Protections
auteur
Sylvain Guilley, Annelie Heuser, Olivier Rioul
article
C2SI 2017 - International Conference on Codes, Cryptology, and Information Security, Apr 2017, Rabat, Morocco. 10194, pp.35-55, LNCS. 〈10.1007/978-3-319-55589-8_3〉
Accès au bibtex
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
Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation
auteur
Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
article
ICST 2017 - International Conference on Software Testing, Verification and Validation, Mar 2017, tokyo, Japan
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01640101/file/ICST_2017_paper_48.pdf BibTex
titre
Plasma Lab Statistical Model Checker: Architecture, Usage and Extension
auteur
Axel Legay, Louis-Marie Traonouez
article
SOFSEM 2017 - 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
titre
On Featured Transition Systems
auteur
Gilles Perrouin, Patrick Heymans, Axel Legay, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens
article
SOFSEM 2017 - 43rd International Conference on Current Trends in Theory and Practice of Informatics, Jan 2017, Limerick Ireland
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01640267/file/sofsem1.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
Duranton, Marc; De Bosschere, Koen; Gamrat, Christian; Maebe, Jonas; Munk, Harm; Zendra, Olivier. 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

HDR

titre
The GNUnet System
auteur
Christian Grothoff
article
Networking and Internet Architecture [cs.NI]. Université de Rennes 1, 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01654244/file/habil.pdf BibTex

Thèse

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-01548658/file/these-phd-alvaro-2017.pdf BibTex

Pré-publication, Document de travail

titre
On the Relevance of Feature Selection for Profiled Side-channel Attacks
auteur
Annelie Heuser, Stjepan Picek, Alan Jovic, Axel Legay
article
2017
Accès au bibtex
BibTex
titre
Profiled SCA with a New Twist: Semi-supervised Learning
auteur
Annelie Heuser, Stjepan Picek, Axel Legay, Karlo Knezevic
article
2017
Accès au bibtex
BibTex
titre
Statistical Model Checking of LLVM Code
auteur
Louis-Marie Traonouez, Axel Legay, Dirk Nowotka, Danny Poulsen
article
2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01640097/file/TACAS_2018_paper_80.pdf BibTex
titre
Modelling of Machine-Aided Human Group Motion
auteur
Thomas Given-Wilson, Axel Legay, Sean Sedwards, Olivier Zendra
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01629137/file/main-with-authors%20%281%29.pdf BibTex
titre
An Automated and Scalable Formal Process for Detecting Fault Injection Vulnerabilities in Binaries
auteur
Thomas Given-Wilson, Annelie Heuser, Nisrine Jafri, Jean-Louis Lanet, Axel Legay
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01629135/file/main.pdf BibTex
titre
Scalable Approximation of Quantitative Information Flow in Programs
auteur
Fabrizio Biondi, Michael Enescu, Annelie Heuser, Axel Legay, Kuldeep Meel, Jean Quilbeuf
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01629131/file/main.pdf BibTex
titre
Orchestration for Secure Multi-party Communications in Web-Services ✩
auteur
Najah Ben Said, Takoua Abdellatif, Marius Bozga, Saddek Ben Salem, Axel Legay
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01629427/file/main.pdf BibTex
titre
Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow
auteur
Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01629033/file/main.pdf BibTex
titre
Detection of Mirai by Syntactic and Semantic Analysis
auteur
Najah Ben Said, Fabrizio Biondi, Vesselin Bontchev, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Jean Quilbeuf
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01629040/file/main_with_authors.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_with_authors.pdf BibTex
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
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
PFD - A Flexible Higher-Order Masking Scheme
auteur
Ming Tang, Zhipeng Guo, Annelie Heuser, Ren Yanzhen, Jie Li, Jean-Luc Danger
article
IEEE Trans. on CAD of Integrated Circuits and Systems, 2016
Accès au bibtex
BibTex
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
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
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
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
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
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
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
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
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
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
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
Sara Foresti; Javier Lopez. 10th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2016, Heraklion, Greece. Springer International Publishing, Lecture Notes in Computer Science, LNCS-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
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
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
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
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 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
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.. 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
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. 〈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à !