Vers des protocoles d'audit efficaces

Towards Efficient Audit Protocols

• Auteur / Autrice : Lamyae Hassini
• Direction : Laurent Reveillere
• Type : Projet de thèse
• Discipline(s) : Informatique
• Date : Inscription en doctorat le 01/10/2024
• Etablissement(s) : Bordeaux
• Ecole(s) doctorale(s) : École doctorale de mathématiques et informatique
• Partenaire(s) de recherche : Laboratoire : LaBRI - Laboratoire Bordelais de Recherche en Informatique
• Partenaire(s) de recherche : Equipe de recherche : Systèmes et Données

Mots clés

Mots clés libres

Systèmes distribué

Environnement d'exécution de confiance

Preuve à divulgation nulle de connaissance

Protocole d'audit

Zkp

Tee

Audit protocol

Distributed systems

Résumé

Ce sujet de thèse se concentre sur les protocoles d'audit pour les systèmes distribués, qui sont cruciaux pour détecter des comportements déviants dans les systèmes distribués et permettre la correction ou la résolution des problèmes. Le défi principal réside dans le choix entre deux types de protocoles : ceux spécifiques à un protocole donné, qui sont très efficaces mais coûteux à développer, et ceux qui sont agnostiques aux protocoles audités, plus flexibles mais souvent moins performants. Les technologies émergentes comme les Trusted Execution Environments (TEE) (par ex. Intel SGX) et les preuves à divulgation nulle de connaissance (Zero-Knowledge Proofs) offrent des perspectives intéressantes pour améliorer ces protocoles d'audit en termes de sécurité et d'efficacité. Le but de cette thèse est de concevoir des protocoles d'audit plus performants en s'appuyant sur ces technologies pour minimiser l'exposition du code et des données tout en réduisant la consommation de ressources.

This thesis focuses on audit protocols for distributed systems, which are crucial for detecting deviant behaviors in distributed systems and enabling corrective actions or problem-solving. The main challenge lies in the trade-off between two types of protocols: specific ones tailored for a particular system, which are highly efficient but costly to develop, and agnostic protocols, which are more flexible but often less performant. Emerging technologies like Trusted Execution Environments (TEEs) (e.g., Intel SGX) and Zero-Knowledge Proofs (ZKPs) offer promising opportunities to improve these audit protocols in terms of security and efficiency. The goal of this thesis is to design more performant audit protocols by leveraging these technologies to minimize code and data exposure while reducing resource consumption.