110 citations · 129 across the 6 of their papers we have counts for
6 papers
A compression based framework for the detection of anomalies in heterogeneous data sources
Gonzalo de la Torre-Abaitua, Luis F. Lago-Fernández, David Arroyo
Nowadays, information and communications technology systems are fundamental assets of our social and economical model, and thus they should be properly protected against the malici…
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…