Mining in Logarithmic Space with Variable Difficulty
This paper presents the first non-interactive, succinct, and secure representation of a PoW-based blockchain that operates under variable mining difficulty while satisfying both …
Recent publications
(2025).
Mining in Logarithmic Space with Variable Difficulty.
In CCS 2025.
(2025).
Preuves non-interactives : la nouvelle ère des chaînes compressées.
In AlgoTel 2025.
(2024).
Collaborative Cybersecurity Using Blockchain: A Survey.
In arXiv.
Papers
Preuves non-interactives : la nouvelle ère des chaînes compressées
Un des défis majeurs de la blockchain réside dans la gestion de la complexité liée à la communication et au stockage. Pour garantir la sécurité de la blockchain, il est nécessaire …
dorian-pacaud
Collaborative Cybersecurity Using Blockchain: A Survey
Collaborative cybersecurity relies on organizations sharing information to boost security, but trust management is a key concern. Decentralized solutions like distributed ledgers, …
Finding (s,d)-Hypernetworks in F-Hypergraphs is NP-Hard
We consider the problem of computing an (s,d)-hypernetwork in an acyclic F-hypergraph. This is a fundamental computational problem arising in directed hypergraphs, and is a …
reynaldo-gil-pons
Securing Workflows Using Microservices and Metagraphs
Companies such as Netflix increasingly use the cloud to deploy their business processes. Those processes often involve partnerships with other companies, and can be modeled as …
De l'Utilisation des Métagraphes pour la Vérification de Politiques de Sécurité
Les processus métier multi-agents aux interactions complexes sont généralement modélisés en tant que workflows. Le propriétaire des données confidentielles interagit avec des …
Protection contre les fuites de données: un environnement micro-services sécurisé
Les fuites de données au repos sont malheureusement courantes et en augmentation, entrainant des pertes de profits pour les entreprises ou le non-respect de confidentialité de …
Towards Secure and Leak-Free Workflows Using Microservice Isolation
Companies like Netflix increasingly use the cloud to deploy their business processes. Those processes often involve partnerships with other companies, and can be modeled as …
Verification of Cloud Security Policies
Companies like Netflix increasingly use the cloud to deploy their business processes. Those processes often involve partnerships with other companies, and can be modeled as …
A Taxonomy of Attacks Using BGP Blackholing
BGP blackholing is a common technique used to mitigate DDoS attacks. Generally, the victim sends in a request for traffic to the attacked IP(s) to be dropped. Unfortunately, remote …
Securing Workflows Using the Microservices Architecture
Ongoing efforts in the security community have tried to achieve desirable security properties, such as secure data at rest and in transport, policy enforcement, and data leak …