- Présentation
- Publications HAL
- Rapports d'activité
Equipe de recherche TAMIS
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
-
Archives
En savoir plus
Retrouvez toutes les publications scientifiques de nos équipes de recherche sur HAL Inria