110 citations · 128 across the 6 of their papers we have counts for
6 papers
Bottom-up Trust Registry in Self Sovereign Identity
Kai Jun Eer, Jesus Diaz, Markulf Kohlweiss
Self sovereign identity is a form of decentralised credential management. During credential verification, data exchange only happens between the data owner and the verifier without…
Combining Usability and Privacy Protection in Free-Access Public Cloud Storage Servers: Review of the Main Threats and Challenges
Alejandro Sanchez-Gomez, Jesus Diaz, David Arroyo
The 21st century belongs to the world of computing, specially as a result of the so-called cloud computing. This technology enables ubiquitous information management and thus peopl…
Fair anonymity for the Tor network
Jesus Diaz, David Arroyo, Francisco B. Rodriguez
Current anonymizing networks have become an important tool for guaranteeing users' privacy. However, these platforms can be used to perform illegitimate actions, which sometimes ma…
Cryptanalysis of a one round chaos-based Substitution Permutation Network
David Arroyo, Jesus Diaz, F. B. Rodriguez
The interleaving of chaos and cryptography has been the aim of a large set of works since the beginning of the nineties. Many encryption proposals have been introduced to improve c…
A formal methodology for integral security design and verification of network protocols
Jesus Diaz, David Arroyo, Francisco B. Rodriguez
We propose a methodology for verifying security properties of network protocols at design level. It can be separated in two main parts: context and requirements analysis and inform…
Formal security analysis of registration protocols for interactive systems: a methodology and a case of study
Jesus Diaz, David Arroyo, Francisco B. Rodriguez
In this work we present and formally analyze CHAT-SRP (CHAos based Tickets-Secure Registration Protocol), a protocol to provide interactive and collaborative platforms with a crypt…