https://cmaurice.fr/

https://rudametw.github.io/

© FOBE / Université de Rennes 1 / Dircom

Clémentine Maurice

Walter Rudametkin

Détecter automatiquement les vulnérabilités aux attaques par canaux auxiliaires

Evaluer les bibliothèques cryptographiques

(client/serveur ; natifs/JavaScript)

Mieux comprendre 

les attaques de surface

Explorer la diversité des bibliothèques (serveur) et leur identification par du fingerprinting

Implémentation TLS connue

Attaques contre cette implémentation de TLS possibles

Exemple

Attaques par canaux auxiliaires :

• N'importe quelles attaques qui peuvent récolter des informations à partir de l'implémentation d'un protocole ou d'un algorithme
• Cache ; Timing ; Power-monitoring ; Electromagnetic ; Acoustic ...
• Contre-mesure possible : L'implémentation en temps constant

1. Pas de branchement
2. Pas d'accès mémoire dépendant d'un secret

1

2

Outils Statiques

Outils Dynamiques

• Vérification de programmes
• Déduire des propriétés de sécurités sans exécution

Approches :

• Par réduction logique
• Des systèmes de type
• Par interprétation abstraite
• Par exécution symbolique

• Trouver des bugs
• Analyse la sécurité des traces d'exécution des programmes

Approches :

• Analyse d'une seule trace
• Comparaison de plusieurs traces :
  • Utiliser des tests statistiques
  • Utiliser du fuzzing

Microwalk

• Quantifie & localise les vulnérabilités
• Binaire ; C et  JavaScript
• Intégration Continue 

Problèmes :

• Ecriture de tests / test cases encourage le copier/coller et donc les erreurs => Perte de temps
• Pas de visibilité sur la couverture du code => fastidieux

=> Découragement à utiliser l'outil

Solutions :

• Introduction d'un nouveau modèle d’analyse semi automatique des vulnérabilités

• Conception d'un nouveau rapport comportant :
  • Le rapport de vulnérabilité de Microwalk
  • Le code source de la bibliothèque testée
  • La couverture de code des tests
  • Le récapitulatif des vulnérabilités trouvées et leur type

=> minimise le nombre de lignes à écrire pour tester

=> Aide à optimiser les tests à effectuer rapidement

• Conception d'un nouveau rapport comportant :
  • Le rapport de vulnérabilité de Microwalk
  • Le code source de la bibliothèque testée
  • La couverture de code des tests
  • Le récapitulatif des vulnérabilités trouvées et leur type

• Prise de contact avec Jan Wichelmann

=> Ecriture, soumission et acceptation à CANS'24  du papier joint :

Semi-Automated and Easily Interpretable Side-Channel Analysis
for Modern JavaScript

• Projet Unified Benchmark avec :
  • Clémentine Maurice
  • Antoine Geimer
  • Daniel De Almeida Braga

• Annexe : Médiation ; Formation Doctorale ; Bibliographie ; ...

1. Déroulement de la thèse

   • Etat de l'art / Background

   • Avancement pendant mon stage

   • Avancement pendant la thèse

2. Idées pour la suite de la thèse
   • Etat de l'art / Background
   • Etat d'avancement actuel
   • Idées pour plus tard
3. Projet Professionnel
4. Formations doctorales
   • Suivies
   • A suivre

HTTP

HTTPS

+      TLS/SSL

=

TLS (Transport Layer Security) / SSL (Secure Sockets Layer)

Assure :

• L'authentification du serveur
• La confidentialité des données
• L'intégrité des données

Client Hello

Server Hello

Certificat

Server Hello

Client key Exchange

Change Cipher Spec

Change Cipher Spec

Change Cipher Spec

Change Cipher Spec

Pre Master Key

Encrypted Verification

Encrypted Verification

Ver. ; Rand# ; Sess. ID ; Ciphers ; Ext

Certificate Chain

Application Data

Outils Actifs

Outils Passifs

Nos objectifs :

• Etablir une fingerprint des clients en prenant en compte suffisamment d’attributs du Client Hello
• Identifier les implementations de TLS via ces attributs => Vulnérabilité
• Identifier les proportions des attributs des clients => Vulnérabilité

Comment nous voulons faire :

• Utiliser le serveur AmIUnique pour y récupérer des attributs du Client Hello TLS d'un grand nombre d'utilisateur
• Utiliser la fonction de l'outil JA4 permettant de récupérer les attributs

Version de SSL/TLS utilisée

Liste des cipher suites hiérarchisée

Session ID

Early data utilisée ("1") ou non ("-")

Protocole sélectionné par ALPN pendant le handshake SSL