Search - Chaire Cybersécurité sur l'analyse de la menace Access content directly

Filter your results

120 Results
Domains : info
Image document

On the optimality and practicability of mutual information analysis in some scenarios

Èloi de Chèrisey , Sylvain Guilley , Annelie Heuser , Olivier Rioul
Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences , 2018, 10 (1), pp.101-121. ⟨10.1007/s12095-017-0241-x⟩
Journal articles hal-03750327v1
Image document

On the Expressiveness of Joining and Splitting

Thomas Given-Wilson , Axel Legay
Models, Mindsets, Meta: The What, the How, and the Why Not?, LNCS-11200, Springer, pp.326-355, 2018, Lecture Notes in Computer Science, 978-3-030-22347-2. ⟨10.1007/978-3-030-22348-9_20⟩
Book sections hal-01955922v1
Image document

Improving Side-Channel Analysis through Semi-Supervised Learning

Stjepan Picek , Annelie Heuser , Alan Jovic , Karlo Knezevic , Tania Richmond et al.
CARDIS 2018 - 17th Smart Card Research and Advanced Application Conference, Nov 2018, Montpellier, France
Conference papers hal-02011351v1
Image document

SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems

Braham Lotfi Mediouni , Ayoub Nouri , Marius Bozga , Mahieddine Dellabani , Axel Legay et al.
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⟩
Conference papers hal-01888538v1
Image document

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

Tania Richmond
[Research Report] Univ Rennes, Inria, CNRS, IRISA. 2018
Reports hal-02017561v1
Image document

MASSE: Modular Automated Syntactic Signature Extraction

François Déchelle , Bruno Lebon , Olivier Zendra
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
Conference papers hal-02159947v1
Image document

Codes for Side-Channel Attacks and Protections

Sylvain Guilley , Annelie Heuser , Olivier Rioul
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⟩
Conference papers hal-01629876v1
Image document

An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT

Thomas Given-Wilson , Nisrine Jafri , Jean-Louis Lanet , Axel Legay
2017 IEEE Trustcom/BigDataSE/ICESS, Aug 2017, Sydney, Australia. pp.293 - 300, ⟨10.1109/Trustcom/BigDataSE/ICESS.2017.250⟩
Conference papers hal-01629098v1
Image document

Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata

Peter Gjøl Jensen , Kim G. Larsen , Axel Legay , Danny Bøgsted Poulsen
GraMSec 2017 - The Fourth International Workshop on Graphical Models for Security, Aug 2017, Santa Barbara United States
Conference papers hal-01640091v1
Image document

Orchestration for Secure Multi-party Communications in Web-Services ✩

Najah Ben Said , Takoua Abdellatif , Marius Bozga , Saddek Ben Salem , Axel Legay et al.
Preprints, Working Papers, ... hal-01629427v1

Profiled SCA with a New Twist: Semi-supervised Learning

Annelie Heuser , Stjepan Picek , Axel Legay , Karlo Knezevic
Preprints, Working Papers, ... hal-01645130v1

Side-channel analysis and machine learning: A practical perspective

Stjepan Picek , Annelie Heuser , Alan Jovic , Simone Ludwig , Sylvain Guilley et al.
International Joint Conference on Neural Networks (IJCNN), May 2017, Anchorage, United States
Conference papers hal-01628681v1
Image document

Specification-Based Protocol Obfuscation

Julien Duchene , Eric Alata , Vincent Nicomette , Mohamed Kaâniche , Colas Le Guernic et al.
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⟩
Conference papers hal-01848573v1

Dynamic networks of heterogeneous timed machines

José Luiz Fiadeiro , Antónia Lopes , Benoît Delahaye , Axel Legay
Mathematical Structures in Computer Science, 2018, 28 (06), pp.800 - 855. ⟨10.1017/S0960129517000135⟩
Journal articles hal-01917079v1
Image document

Type-Driven Verification of Non-functional Properties

Christopher Brown , Adam D Barwell , Yoann Marquer , Céline Minh , Olivier Zendra et al.
PPDP 2019 - 21st International Symposium on Principles and Practice of Declarative Programming, Oct 2019, Porto, Portugal. pp.1-15, ⟨10.1145/3354166.3354171⟩
Conference papers hal-02314723v1
Image document

The GNU Taler system : practical and provably secure electronic payments

Florian Dold
Cryptography and Security [cs.CR]. Université de Rennes, 2019. English. ⟨NNT : 2019REN1S008⟩
Theses tel-02138082v1
Image document

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

Khalil Drira , Flavio Oquendo , Axel Legay , Thais Batista
SAC 2018 - The 33rd ACM/SIGAPP Symposium On Applied Computing, Apr 2018, Pau, France. pp.1-3
Conference papers hal-01666389v1
Image document

State of the art of network protocol reverse engineering tools

Julien Duchene , Colas Le Guernic , Eric Alata , Vincent Nicomette , Mohamed Kaâniche et al.
Journal of Computer Virology and Hacking Techniques, 2018, 14 (1), pp.53-68. ⟨10.1007/s11416-016-0289-8⟩
Journal articles hal-01496958v1
Image document

It Started with Templates: The Future of Profiling in Side-Channel Analysis

Lejla Batina , Milena Djukanovic , Annelie Heuser , Stjepan Picek
Security of Ubiquitous Computing Systems, pp.133 - 145, In press, ⟨10.1007/978-3-030-10591-4_8⟩
Book sections hal-03458797v1
Image document

Optimal side-channel attacks for multivariate leakages and multiple models

Nicolas Bruneau , Sylvain Guilley , Annelie Heuser , Marion Damien , Olivier Rioul et al.
Journal of Cryptographic Engineering, 2017, 7 (4), pp.331-341. ⟨10.1007/s13389-017-0170-9⟩
Journal articles hal-01629885v1
Image document

Side-Channel Analysis of Post-Quantum Cryptography

Tania Richmond , Annelie Heuser , Benoit Gérard
SecDays 2019 - Security Days, Jan 2019, Rennes, France. pp.1
Conference poster hal-02018859v1
Image document

Plasma Lab Statistical Model Checker: Architecture, Usage and Extension

Axel Legay , Louis-Marie Traonouez
SOFSEM 2017 - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Jan 2017, Limerick, Ireland
Conference papers hal-01613581v1
Image document

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

Thomas Given-Wilson , Axel Legay , Sean Sedwards
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⟩
Conference papers hal-01629094v1

Lightweight Ciphers and their Side-channel Resilience

Annelie Heuser , Stjepan Picek , Sylvain Guilley , Nele Mentens
IEEE Transactions on Computers, 2017, pp.1-16. ⟨10.1109/TC.2017.2757921⟩
Journal articles hal-01629886v1
Image document

Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow

Fabrizio Biondi , Yusuke Kawamoto , Axel Legay , Louis-Marie Traonouez
Preprints, Working Papers, ... hal-01629033v2

Quand les malwares se mettent à la cryptographie

Hélène Le Bouder , Aurélien Palisse
Interstices, 2018
Journal articles hal-01827607v1
Image document

Group Abstraction for Assisted Navigation of Social Activities in Intelligent Environments

Thomas Given-Wilson , Axel Legay , Sean Sedwards , Olivier Zendra
Journal of Reliable Intelligent Environments, 2018, 4 (2), pp.107-120. ⟨10.1007/s40860-018-0058-1⟩
Journal articles hal-01629137v2
Image document

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

Eduard Baranov , Fabrizio Biondi , Olivier Decourbe , Thomas Given-Wilson , Axel Legay et al.
Preprints, Working Papers, ... hal-01954483v1
Image document

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

Thomas Given-Wilson , Nisrine Jafri , Axel Legay
Preprints, Working Papers, ... hal-01961008v1
Image document

Statistical Model Checking of Incomplete Stochastic Systems

Shiraj Arora , Axel Legay , Tania Richmond , Louis-Marie Traonouez
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⟩
Conference papers hal-02011309v1