Publications de l'équipe TAMIS

2019

Communication dans un congrès

titre

Type-Driven Verification of Non-functional Properties

auteur

Christopher Brown, Adam Barwell, Yoann Marquer, Céline Minh, Olivier Zendra

article

PPDP 2019 - 21st International Symposium on Principles and Practice of Declarative Programming, Oct 2019, Porto, Portugal. pp.1-15, ⟨10.1145/3354166.3354171⟩

Accès au texte intégral et bibtex

titre

Model Checking the IKEv2 Protocol Using Spin

auteur

Tristan Ninet, Axel Legay, Romaric Maillard, Louis-Marie Traonouez, Olivier Zendra

article

PST 2019 - 17th International Conference on Privacy, Security and Trust, Aug 2019, Fredericton, Canada. pp.1-9

Accès au texte intégral et bibtex

titre

The Deviation Attack: A Novel Denial-of-Service Attack Against IKEv2

auteur

Tristan Ninet, Axel Legay, Romaric Maillard, Louis-Marie Traonouez, Olivier Zendra

article

TrustCom 2019 - 18th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, Aug 2019, Rotorua, New Zealand. pp.1-8

Accès au texte intégral et bibtex

titre

Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking

auteur

Mathieu Barbier, Alessandro Renzaglia, Jean Quilbeuf, Lukas Rummelhard, Anshul Paigwar, Christian Laugier, Axel Legay, Javier Ibañez-Guzmán, Olivier Simonin

article

IV 2019 - 30th IEEE Intelligent Vehicles Symposium, Jun 2019, Paris, France. pp.252-259, ⟨10.1109/IVS.2019.8813793⟩

Accès au texte intégral et bibtex

titre

MASSE: Modular Automated Syntactic Signature Extraction

auteur

François Déchelle, Bruno Lebon, Olivier Zendra

article

RESSI 2019 - Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2019, Erquy, France. pp.1

Accès au texte intégral et bibtex

titre

A case against indirect jumps for secure programs

auteur

Alexandre Gonzalvez, Ronan Lashermes

article

SSPREW-9 2019 - 9th Software Security, Protection, and Reverse Engineering Workshop, Dec 2019, San Juan, United States. pp.1-10

Accès au texte intégral et bibtex

Direction d'ouvrage, Proceedings, Dossier

titre

The HiPEAC Vision 2019

auteur

Marc Duranton, Koen de Bosschere, Bart Coppens, Christian Gamrat, Madeleine Gray, Harm Munk, Emre Ozer, Tullio Vardanega, Olivier Zendra

article

Duranton, Marc; De Bosschere, Koen; Coppens, Bart; Gamrat, Christian; Gray, Madeline; Munk, Harm; Ozer, Emre; Vardanega, Tullio; Zendra, Olivier. France. HiPEAC CSA, pp.178, 2019, 978-90-90-31364-1

Accès au texte intégral et bibtex

Poster

titre

Side-Channel Analysis of Post-Quantum Cryptography

auteur

Tania Richmond, Annelie Heuser, Benoit Gérard

article

SecDays 2019 - Security Days, Jan 2019, Rennes, France. pp.1

Accès au texte intégral et bibtex

Thèse

titre

Formal fault injection vulnerability detection in binaries : a software process and hardware validation

auteur

Nisrine Jafri

article

Cryptography and Security [cs.CR]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S014⟩

Accès au texte intégral et bibtex

titre

The GNU Taler system : practical and provably secure electronic payments

auteur

Florian Dold

article

Cryptography and Security [cs.CR]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S008⟩

Accès au texte intégral et bibtex

Pré-publication, Document de travail

titre

History-Preserving Bisimulations on Reversible Calculus of Communicating Systems

auteur

Clément Aubert, Ioana Cristescu

article

2019

Accès au texte intégral et bibtex

titre

When Theory Meets Practice: A Framework for Robust Profiled Side-channel Analysis

auteur

Stjepan Picek, Annelie Heuser, Cesare Alippi, Francesco Regazzoni

article

2019

Accès au texte intégral et bibtex

titre

Make Some Noise: Unleashing the Power of Convolutional Neural Networks for Profiled Side-channel Analysis

auteur

Jaehun Kim, Stjepan Picek, Annelie Heuser, Shivam Bhasin, Alan Hanjalic

article

2019

Accès au texte intégral et bibtex

2018

Article dans une revue

titre

On the Expressiveness of Joining and Splitting

auteur

Thomas Given-Wilson, Axel Legay

article

Journal in honour of Bernhard Steffen's 60th, 2018

Accès au texte intégral et bibtex

titre

The Curse of Class Imbalance and Conflicting Metrics with Machine Learning for Side-channel Evaluations

auteur

Stjepan Picek, Annelie Heuser, Alan Jovic, Shivam Bhasin, Francesco Regazzoni

article

IACR Transactions on Cryptographic Hardware and Embedded Systems, IACR, 2018, 2019 (1), pp.1-29. ⟨10.13154/tches.v2019.i1.209-237⟩

Accès au texte intégral et bibtex

titre

An automated and scalable formal process for detecting fault injection vulnerabilities in binaries

auteur

Thomas Given-Wilson, Annelie Heuser, Nisrine Jafri, Axel Legay

article

Concurrency and Computation: Practice and Experience, Wiley, 2018, pp.1-12. ⟨10.1002/cpe.4794⟩

Accès au texte intégral et bibtex

titre

Dynamic networks of heterogeneous timed machines

auteur

José Fiadeiro, Antónia Lopes, Benoît Delahaye, Axel Legay

article

Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2018, 28 (06), pp.800 - 855. ⟨10.1017/S0960129517000135⟩

Accès au bibtex

titre

Group Abstraction for Assisted Navigation of Social Activities in Intelligent Environments

auteur

Thomas Given-Wilson, Axel Legay, Sean Sedwards, Olivier Zendra

article

Journal of Reliable Intelligent Environments, Springer, 2018, 4 (2), pp.107-120. ⟨10.1007/s40860-018-0058-1⟩

Accès au texte intégral et bibtex

titre

Quand les malwares se mettent à la cryptographie

auteur

Hélène Le Bouder, Aurélien Palisse

article

Interstices, INRIA, 2018

Accès au bibtex

titre

State of the art of network protocol reverse engineering tools

auteur

Julien Duchene, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche

article

Journal of Computer Virology and Hacking Techniques, Springer, 2018, 14 (1), pp.53-68. ⟨10.1007/s11416-016-0289-8⟩

Accès au texte intégral et 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, 2018, 10 (1), pp.101-121. ⟨10.1007/s12095-017-0241-x⟩

Accès au 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, 2018, 10 (1), pp.101 - 121. ⟨10.1007/s12095-017-0241-x⟩

Accès au bibtex

titre

Effective, Efficient, and Robust Packing Detection and Classification

auteur

Fabrizio Biondi, Michael Enescu, Thomas Given-Wilson, Axel Legay, Lamine Noureddine, Vivek Verma

article

Computers and Security, Elsevier, In press, pp.1-15

Accès au texte intégral et 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, 2018, 30 (1), pp.101-127. ⟨10.1080/0952813x.2017.1409276⟩

Accès au bibtex

titre

Performance Evaluation of Stochastic Real-Time Systems with the SBIP Framework

auteur

Ayoub Nouri, Braham Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay

article

International Journal of Critical Computer-Based Systems, Inderscience, In press, pp.1-33

Accès au texte intégral et bibtex

Communication dans un congrès

titre

On the Performance of Convolutional Neural Networks for Side-channel Analysis

auteur

Stjepan Picek, Ioannis Samiotis, Annelie Heuser, Jaehun Kim, Shivam Bhasin, Axel Legay

article

SPACE 2018 - International Conference on Security, Privacy, and Applied Cryptography Engineering, Dec 2018, Kanpur, India. pp.157-176

Accès au texte intégral et bibtex

titre

ContAv: a Tool to Assess Availability of Container-Based Systems

auteur

Stefano Sebastio, Rahul Ghosh, Avantika Gupta, Tridib Mukherjee

article

SOCA 2018 - 11th IEEE International Conference on Service Oriented Computing and Applications, Nov 2018, Paris, France. pp.1-8

Accès au texte intégral et bibtex

titre

Improving Side-Channel Analysis through Semi-Supervised Learning

auteur

Stjepan Picek, Annelie Heuser, Alan Jovic, Karlo Knezevic, Tania Richmond

article

CARDIS 2018 - 17th Smart Card Research and Advanced Application Conference, Nov 2018, Montpellier, France

Accès au texte intégral et bibtex

titre

Tutorial: an Overview of Malware Detection and Evasion Techniques

auteur

Fabrizio Biondi, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf

article

ISoLA 2018 - 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2018, Limassol, Cyprus. pp.1-23

Accès au texte intégral et bibtex

titre

Statistical Model Checking of Incomplete Stochastic Systems

auteur

Shiraj Arora, Axel Legay, Tania Richmond, Louis-Marie Traonouez

article

ISoLA 2018 - International Symposium on Leveraging Applications of Formal Methods, Nov 2018, Limassol, Cyprus. pp.354-371, ⟨10.1007/978-3-030-03421-4_23⟩

Accès au texte intégral et bibtex

titre

SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems

auteur

Braham Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem

article

ATVA 2018 - 16th International Symposium Automated Technology for Verification and Analysis, Oct 2018, Los Angeles, CA, United States. pp.536-542, ⟨10.1007/978-3-030-01090-4_33⟩

Accès au texte intégral et bibtex

titre

Statistical Model Checking Applied on Perception and Decision-making Systems for Autonomous Driving

auteur

Jean Quilbeuf, Mathieu Barbier, Lukas Rummelhard, Christian Laugier, Axel Legay, Blanche Baudouin, Thomas Genevois, Javier Ibañez-Guzmán, Olivier Simonin

article

PPNIV 2018 - 10th Workshop on Planning, Perception and Navigation for Intelligent Vehicles, Oct 2018, Madrid, Spain. pp.1-8

Accès au texte intégral et bibtex

titre

Specification-Based Protocol Obfuscation

auteur

Julien Duchene, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Colas Le Guernic

article

DSN 2018 - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2018, Luxembourg City, Luxembourg. pp.1-12, ⟨10.1109/DSN.2018.00056⟩

Accès au texte intégral et bibtex

titre

A Language for Analyzing Security of IOT Systems

auteur

Delphine Beaulaton, Najah Ben Said, Ioana Cristescu, Régis Fleurquin, Axel Legay, Jean Quilbeuf, Salah Sadou

article

SoSE 2018 - 13th Annual Conference on System of Systems Engineering, Jun 2018, Paris, France. pp.37-44, ⟨10.1109/SYSOSE.2018.8428704⟩

Accès au texte intégral et bibtex

titre

Taint-Based Return Oriented Programming

auteur

Colas Le Guernic, François Khourbiga

article

SSTIC 2018 - Symposium sur la sécurité des technologies de l'information et des communications, Jun 2018, Rennes, France. pp.1-30

Accès au texte intégral et bibtex

titre

Survey on cryptanalysis of code-based cryptography: from theoretical to physical attacks

auteur

Vlad Dragoi, Tania Richmond, Dominic Bucerzan, Axel Legay

article

ICCCC 2018 - 7th International Conference on Computers Communications and Control, May 2018, Oradea, Romania. pp.215-223, ⟨10.1109/ICCCC.2018.8390461⟩

Accès au texte intégral et bibtex

titre

Editorial Message Track on Software-intensive Systems-of-Systems (SiSoS) of the 33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018)

auteur

Khalil Drira, Flavio Oquendo, Axel Legay, Thais Batista

article

SAC 2018 - The 33rd ACM/SIGAPP Symposium On Applied Computing, Apr 2018, Pau, France. pp.1-3

Accès au texte intégral et bibtex

titre

Let's shock our IoT's heart: ARMv7-M under (fault) attacks

auteur

Sebanjila Bukasa, Ronan Lashermes, Jean-Louis Lanet, Axel Legay

article

ARES 2018 - 13th International Conference on Availability, Reliability and Security, Aug 2018, Hambourg, Germany. pp.1-6, ⟨10.1145/3230833.3230842⟩

Accès au texte intégral et bibtex

titre

How TrustZone Could Be Bypassed: Side-Channel Attacks on a Modern System-on-Chip

auteur

Sebanjila Bukasa, Ronan Lashermes, Hélène Le Bouder, Jean-Louis Lanet, Axel Legay

article

11th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2017, Heraklion, Greece. pp.93-109, ⟨10.1007/978-3-319-93524-9_6⟩

Accès au texte intégral et bibtex

Chapitre d'ouvrage

titre

The State of Fault Injection Vulnerability Detection

auteur

Thomas Given-Wilson, Nisrine Jafri, Axel Legay

article

Verification and Evaluation of Computer and Communication Systems, pp.3-21, 2018, 978-3-030-00358-6. ⟨10.1007/978-3-030-00359-3_1⟩

Accès au texte intégral et bibtex

titre

A Modeling Language for Security Threats of IoT Systems

auteur

Delphine Beaulaton, Ioana Cristescu, Axel Legay, Jean Quilbeuf

article

Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, 11119, Springer, pp.258-268, 2018, LNCS, 978-3-030-00243-5. ⟨10.1007/978-3-030-00244-2_17⟩

Accès au texte intégral et bibtex

Direction d'ouvrage, Proceedings, Dossier

titre

Proceedings of the 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems

auteur

Tim Felgentreff, Olivier Zendra

article

Tim Felgentreff; Olivier Zendra. 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2018, Jul 2018, Amsterdam, Netherlands. ⟨ACM⟩, 2018, 978-1-4503-5804-0

Accès au texte intégral et bibtex

titre

Risks and security of internet and systems : 12th international conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, revised selected papers

auteur

Nora Cuppens-Bouhlahia, Frédéric Cuppens, Jean-Louis Lanet, Axel Legay, Joaquin Garcia-Alfaro

article

10694, Springer, pp.269, 2018, Lecture Notes in Computer Science, 978-3-319-76686-7

Accès au bibtex

Document associé à des manifestations scientifiques

titre

Side-channel Information Leakage of the Syndrome Computation in Code-Based Cryptography (Work in progress)

auteur

Tania Richmond, Benoit Gérard, Annelie Heuser, Axel Legay

article

Cryptographic architectures embedded in logic devices (CryptArchi) 2018, Jun 2018, Guidel-Plages, France

Accès au bibtex

Rapport

titre

Application of machine learning techniques to side-channel analysis on code-based cryptography

auteur

Tania Richmond

article

[Research Report] Univ Rennes, Inria, CNRS, IRISA. 2018

Accès au texte intégral et bibtex

Thèse

titre

Analyse of real-time systems from scheduling perspective

auteur

Mounir Chadli

article

Performance [cs.PF]. Université Rennes 1, 2018. English. ⟨NNT : 2018REN1S062⟩

Accès au texte intégral et bibtex

Pré-publication, Document de travail

titre

Security Enforcement in IoT Systems using Attack Trees

auteur

Delphine Beaulaton, Najah Ben Said, Ioana Cristescu, Axel Legay, Jean Quilbeuf

article

2018

Accès au texte intégral et bibtex

titre

Bridging Software-Based and Hardware-Based Fault Injection Vulnerability Detection

auteur

Thomas Given-Wilson, Nisrine Jafri, Axel Legay

article

2018

Accès au texte intégral et bibtex

titre

Efficient Extraction of Malware Signatures Through System Calls and Symbolic Execution: An Experience Report

auteur

Eduard Baranov, Fabrizio Biondi, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf, Stefano Sebastio

article

2018

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

2018

Accès au texte intégral et bibtex

titre

Universal Optimality of Apollonian Cell Encoders

auteur

Fabrizio Biondi, Thomas Given-Wilson, Axel Legay

article

2018

Accès au texte intégral et bibtex

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

titre

Quelles solutions pour se protéger des logiciels de rançon ?

auteur

Aurélien Palisse, Joanna Jongwane

article

Interstices, INRIA, 2017

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

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

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, 1 (3), pp.219-236. ⟨10.1007/s41635-017-0018-x⟩

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

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

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

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

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, 16 (1), pp.153-171. ⟨10.1007/s10270-015-0479-8⟩

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

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

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, pp.1-15. ⟨10.1007/s10207-017-0371-3⟩

Accès au texte intégral et 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, In press, 7 (4), ⟨10.1504/ijccbs.2017.10011024⟩

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

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

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 , Sergey Bratus (Dartmouth College), Nov 2017, Vienna, Austria

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

Accès au 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. pp.1-2

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

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

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

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

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

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

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

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, ⟨10.1109/Trustcom/BigDataSE/ICESS.2017.250⟩

Accès au texte intégral et bibtex

titre

Efficient Privacy-Preserving Adversarial Learning in Decentralized Online Social Networks

auteur

Álvaro García-Recuero

article

ASONAM 2017 - IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining , Jul 2017, Sydney, Australia. ⟨10.1145/3110025.3119400⟩

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

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. pp.393-414, ⟨10.1007/978-3-319-61204-1_20⟩

Accès au bibtex

titre

Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults

auteur

Thomas Given-Wilson, Axel Legay, Sean Sedwards

article

HAS 2017 - International Conference on Human Aspects of Information Security, Privacy, and Trust, Jul 2017, Vancouver, Canada. pp.90-109, ⟨10.1007/978-3-319-58460-7_7⟩

Accès au texte intégral et bibtex

titre

Featured Weighted Automata

auteur

Uli Fahrenberg, Axel Legay

article

5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017), May 2017, Buenos Aires, Argentina. ⟨10.1109/FormaliSE.2017.2⟩

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

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

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

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. pp.61-78, ⟨10.1007/978-3-319-57339-7_4⟩

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

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. pp.35-55, ⟨10.1007/978-3-319-55589-8_3⟩

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

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

The 11th International Conference on Risks and Security of Internet and Systems - CRiSIS 2016, Sep 2016, Roscoff, France. pp.11-28, ⟨10.1007/978-3-319-54876-0_2⟩

Accès au texte intégral et bibtex

titre

Protocol reverse engineering: Challenges and obfuscation

auteur

Julien Duchene, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche

article

The 11th International Conference on Risks and Security of Internet and Systems - CRiSIS 2016, Sep 2016, Roscoff, France. ⟨10.1007/978-3-319-54876-0_11⟩

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

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, ⟨10.1109/HASE.2017.10⟩

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

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

SEC 2017 - 32th IFIP International Conference on ICT Systems Security and Privacy Protection, May 2017, Rome, Italy. pp.205-218, ⟨10.1007/978-3-319-58469-0_14 ⟩

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

NordSec2017 - Nordic Conference on Secure IT Systems, Nov 2017, Tartu, Estonia

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

CF: Computing Frontiers, May 2017, Siena, Italy. pp.425-430, ⟨10.1145/3075564.3079070⟩

Accès au 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, ⟨10.1109/DTIS.2017.7930168⟩

Accès au texte intégral et bibtex

Chapitre d'ouvrage

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: Risks and Security of Internet and Systems, pp.185-198, 2017, ⟨10.1007/978-3-319-54876-0_15⟩

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

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

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

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

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

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

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

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

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

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

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

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 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, 36, pp.1327-1339. ⟨10.1109/tcad.2016.2629441⟩

Accès au bibtex

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

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

Vulnerability Prediction Against Fault Attacks

auteur

Nisrine Jafri, Axel Legay, Jean-Louis Lanet

article

ERCIM News, ERCIM, 2016

Accès au bibtex

titre

Skyfall : Tombé du ciel

auteur

Jean-Louis Lanet

article

Interstices, INRIA, 2016

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

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

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

The NSA’s SKYNET program may be killing thousands of innocent people

auteur

Christian Grothoff, Jens Porup

article

Ars Technica, WIRED Media Group, 2016

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

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. ⟨10.1016/j.tcs.2016.08.009⟩

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

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

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 , Aurélien Francillon, Nov 2016, Cannes, France

Accès au 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. pp.139-157, ⟨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

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. pp.806 - 820, ⟨10.1007/978-3-319-47166-2_56⟩

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. pp.77 - 93, ⟨10.1007/978-3-319-47166-2_6⟩

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

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. pp.133 - 141, ⟨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 International Conference on Information Security Theory and Practice (WISTP), Sep 2016, Heraklion, Greece. pp.136-152, ⟨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

11th International ESORICS Workshop in Data Privacy Management, DPM 2016, Sep 2016, Heraklion, Crete, Greece. pp.78-93, ⟨10.1007/978-3-319-47072-6_6⟩

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

Accès au texte intégral et 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 , Telecom Bretagne, Sep 2016, Roscoff, France

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

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, ⟨10.5220/0005955102310238⟩

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

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

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

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. pp.1562 - 1565, ⟨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. ⟨10.5220/0005686603070316⟩

Accès au bibtex

titre

Internet des objets : la nouvelle fragilité ?

auteur

Maryline Boizard, Jean-Louis Lanet

article

Forum international de la cybersécurité, Région Nord-Pas de Calais, Euratechnologies, la Gendarmerie nationale, CEIS, Jan 2016, Lille, France

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

titre

Malware’O’Matic a platform to analyze Malware

auteur

Aurélien Palisse, Antoine Durand, Jean-Louis Lanet

article

French Japanese workshop on CyberSecurity, Inria, Sep 2016, Rennes, 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

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

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, ⟨10.1007/978-3-319-47169-3_62⟩

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

Accès au texte intégral et 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. pp.89 - 96, ⟨10.1145/2866614.2866627⟩

Accès au 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, ⟨10.1145/2884781.2884821⟩

Accès au bibtex

titre

PSCV: A Runtime Verification Tool for Probabilistic SystemC Models

auteur

Van Ngo, Axel Legay, Vania Joloboff

article

CAV 2016 - 28th International Conference on Computer Aided Verification, Jul 2016, Toronto, Canada. pp.84 - 91, ⟨10.1007/978-3-319-41528-4_5⟩

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. pp.109 - 118, ⟨10.1145/2934466.2934473⟩

Accès au 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. pp.1 - 7, ⟨10.1145/2896982.2896987⟩

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, ⟨10.1007/978-3-319-44878-7_3⟩

Accès au texte intégral et 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. ⟨10.1145/1235⟩

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

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

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. ⟨10.1007/978-3-319-47238-6 ⟩

Accès au bibtex

Chapitre d'ouvrage

titre

A Scalable and Systolic Architectures of Montgomery Modular Multiplication for Public Key Cryptosystems Based on DSPs

auteur

Amine Mrabet, Nadia El Mrabet, Ronan Lashermes, Jean-Baptiste Rigaud, Belgacem Bouallegue, Sihem Mesnager, Mohsen Machhout

article

SPACE 2016: Security, Privacy, and Applied Cryptography Engineering, pp.138-156, 2016, ⟨10.1007/978-3-319-49445-6_8⟩

Accès au bibtex

titre

Statistical Model Checking with Change Detection

auteur

Axel Legay, Louis-Marie Traonouez

article

Transactions on Foundations for Mastering Change, 1, pp.157-179, 2016, 978-3-319-46507-4. ⟨10.1007/978-3-319-46508-1_9⟩

Accès au texte intégral et bibtex

Direction d'ouvrage, Proceedings, Dossier

titre

Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture

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

2016

Accès au bibtex

titre

A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories

auteur

Uli Fahrenberg, Axel Legay

article

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

Article dans une revue

titre

Optimized distributed implementation of multiparty interactions with Restriction

auteur

Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis

article

Science of Computer Programming, Elsevier, 2015, 98, pp.293 - 316. ⟨10.1016/j.scico.2014.02.013⟩

Accès au texte intégral et bibtex

titre

A survey of Fault attacks in Pairing Based Cryptography

auteur

Nadia El Mrabet, Ronan Lashermes, Jacques Jean-Alain Fournier, Louis Goubin

article

Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences , Springer, 2015, 7 (1), pp.185--205. ⟨10.1007/s12095-014-0114-5⟩

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

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

C2SI 2015 - First International Conference Codes, Cryptology, and Information Security, May 2015, Rabat, Morocco. pp.74-82, ⟨10.1007/978-3-319-18681-8_6⟩

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

C2SI 2015 - First International Conference Codes, Cryptology, and Information Security, May 2015, Rabat, Morocco. pp.149-161, ⟨10.1007/978-3-319-18681-8_12⟩

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

SEFM 2015 - 13th International Conference Software Engineering and Formal Methods, Jan 2015, York, United Kingdom. pp.132-147, ⟨10.1007/978-3-319-22969-0_10⟩

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

Cardis 2014 - 13th International Conference Smart Card Research and Advanced Application Conference, CNAM, Nov 2014, Paris, France. pp.3-17, ⟨10.1007/978-3-319-16763-3_1⟩

Accès au texte intégral et bibtex

2014

Article dans une revue

titre

Towards quality-of-service driven consistency for Big Data management

auteur

Álvaro García Recuero, Sérgio Esteves, Luís Veiga

article

International Journal of Big Data Intelligence, 2014, 1 (1/2), ⟨10.1504/IJBDI.2014.063853⟩

Accès au texte intégral et bibtex

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. ⟨10.1007/978-3-319-16763-3_2⟩

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

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. pp.242-257, ⟨10.1007/978-3-642-38592-6_17⟩

Accès au texte intégral et bibtex

titre

Quantitative Modal Transition Systems

auteur

Kim Larsen, Axel Legay

article

21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.50-58, ⟨10.1007/978-3-642-37635-1_3⟩

Accès au texte intégral et bibtex

2007

Communication dans un congrès

titre

Synthèse de contraintes de conception à partir de réseaux de Petri temporels paramétrés

auteur

Louis-Marie Traonouez, David Delfieu, Olivier Henri Roux

article

6ieme Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'07), Oct 2007, Lyon, France

Accès au bibtex