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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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