Specification and formal verification of security requirements. - Isaac Agudo; Javier López 001 (CompSysTech, 2004)

A Representation Model of Trust Relationships with Delegation Extensions. - Isaac Agudo; Javier López 001; José A. Montenegro (iTrust, 2005)

Graphical Representation of Authorization Policies for Weighted Credentials. - Isaac Agudo; Javier López 001; José A. Montenegro (ACISP, 2006)

Attribute Delegation Based on Ontologies and Context Information. - Isaac Agudo; Javier López 001; José A. Montenegro (Communications and Multimedia Security, 2006)

Attribute delegation in ubiquitous environments. - Isaac Agudo; Javier López 001; José A. Montenegro (MobiMedia, 2007)

Implementation aspects of a delegation system. - Isaac Agudo; Javier López 001; José A. Montenegro (MobiMedia, 2007)

On the deployment of a real scalable delegation service. - Javier López 001; Isaac Agudo; José A. Montenegro (Inf. Secur. Tech. Rep., 2007)

Delegating Privileges over Finite Resources: A Quota Based Delegation Approach. - Isaac Agudo; M. Carmen Fernández Gago; Javier López 001 (Formal Aspects in Security and Trust, 2008)

Secure Real-Time Integration of Services in a OSGi Distributed Environment. - Jose Manuel Marquez; Javier Jimenez; Isaac Agudo (NCM (1), 2008)

A Model for Trust Metrics Analysis. - Isaac Agudo; M. Carmen Fernández Gago; Javier López 001 (TrustBus, 2008)

An Evolutionary Trust and Distrust Model. - Isaac Agudo; M. Carmen Fernández Gago; Javier López 001 (STM@IFIPTM, 2008)

Enabling Attribute Delegation in Ubiquitous Environments. - Isaac Agudo; Javier López 001; José A. Montenegro (Mob. Networks Appl., 2008)

Security assurance during the software development cycle. - Isaac Agudo; José Luis Vivas; Javier López 001 (CompSysTech, 2009)

A Multidimensional Reputation Scheme for Identity Federations. - Isaac Agudo; M. Carmen Fernández Gago; Javier López 001 (EuroPKI, 2009)

Adaptive Dispatching of Incidences Based on Reputation for SCADA Systems. - Cristina Alcaraz; Isaac Agudo; M. Carmen Fernández Gago; Rodrigo Roman; Gerardo Fernandez; Javier López 001 (TrustBus, 2009)

Concurrent access control for multi-user and multi-processor systems based on trust relationships. - Isaac Agudo; M. Carmen Fernández Gago; Javier López 001 (Concurr. Comput. Pract. Exp., 2009)

A scale based trust model for multi-context environments. - Isaac Agudo; M. Carmen Fernández Gago; Javier López 001 (Comput. Math. Appl., 2010)

Trust management systems for wireless sensor networks: Best practices. - Javier López 001; Rodrigo Roman; Isaac Agudo; M. Carmen Fernández Gago (Comput. Commun., 2010)

Managing Incidents in Smart Grids à la Cloud. - Cristina Alcaraz; Isaac Agudo; David Nuñez 001; Javier López 001 (CloudCom, 2011)

OSAMI Commons - An open dynamic services platform for ambient intelligence. - Naci Dai; Wolfgang Thronicke; Alejandra Ruiz López; Félix Cuadrado Latasa; Elmar Zeeb; Christoph Fiehe; Anna Litvina; Jan Krüger; Oliver Dohndorf; Isaac Agudo; Jesús Bermejo Muñoz (ETFA, 2011)

Cryptography Goes to the Cloud. - Isaac Agudo; David Nuñez 001; Gabriele Giammatteo; Panagiotis Rizomiliotis; Costas Lambrinoudakis (STA Workshops, 2011)

A methodology for security assurance-driven system development. - José Luis Vivas; Isaac Agudo; Javier López 001 (Requir. Eng., 2011)

Integrating OpenID with proxy re-encryption to enhance privacy in cloud-based identity services. - David Nuñez 001; Isaac Agudo; Javier López 001 (CloudCom, 2012)

A Task Ordering Approach for Automatic Trust Establishment. - Francisco Moyano; M. Carmen Fernández Gago; Isaac Agudo; Javier López 001 (ESSoS, 2012)

Strong Authentication of Humans and Machines in Policy Controlled Cloud Computing Environment Using Automatic Cyber Identity. - Libor Neumann; Tomás Halman; Pavel Rotek; Alexander Boettcher; Julian Stecklina; Michal Sojka; David Nuñez 001; Isaac Agudo (ISSE, 2012)

A privacy-aware continuous authentication scheme for proximity-based access control. - Isaac Agudo; Ruben Rios; Javier López 001 (Comput. Secur., 2013)

Privacy-Preserving Identity Management as a Service. - David Nuñez 001; Isaac Agudo; Javier López 001 (A4Cloud, 2014)

Delegated Access for Hadoop Clusters in the Cloud. - David Nuñez 001; Isaac Agudo; Javier López 001 (CloudCom, 2014)

Building trust from context similarity measures. - M. Carmen Fernández Gago; Isaac Agudo; Javier López 001 (Comput. Stand. Interfaces, 2014)

BlindIdM: A privacy-preserving approach for identity management as a service. - David Nuñez 001; Isaac Agudo (Int. J. Inf. Sec., 2014)

NTRUReEncrypt: An Efficient Proxy Re-Encryption Scheme Based on NTRU. - David Nuñez 001; Isaac Agudo; Javier López 001 (AsiaCCS, 2015)

LockPic: Privacy Preserving Photo Sharing in Social Networks. - Carlos Parés-Pulido; Isaac Agudo (DPM/QASA@ESORICS, 2015)

Is the world ready or do we need more tools for programming related teamwork? - Jouni Ikonen; Antti Knutas; YongYi Wu; Isaac Agudo (Koli Calling, 2015)

A Technique for Enhanced Provision of Appropriate Access to Evidence Across Service Provision Chains. - Isaac Agudo; Ali El Kaafarani; David Nuñez 001; Siani Pearson (Privacy and Identity Management, 2015)

A Parametric Family of Attack Models for Proxy Re-Encryption. - David Nuñez 001; Isaac Agudo; Javier López 001 (IACR Cryptol. ePrint Arch., 2016)

Attacks to a proxy-mediated key agreement protocol based on symmetric encryption. - David Nuñez 001; Isaac Agudo; Javier López 001 (IACR Cryptol. ePrint Arch., 2016)

On the application of generic CCA-secure transformations to proxy re-encryption. - David Nuñez 001; Isaac Agudo; Javier López 001 (Secur. Commun. Networks, 2016)

The Fallout of Key Compromise in a Proxy-Mediated Key Agreement Protocol. - David Nuñez 001; Isaac Agudo; Javier López 001 (DBSec, 2017)

Proxy Re-Encryption: Analysis of constructions and its application to secure access delegation. - David Nuñez 001; Isaac Agudo; Javier López 001 (J. Netw. Comput. Appl., 2017)

Escrowed decryption protocols for lawful interception of encrypted data. - David Nuñez 001; Isaac Agudo; Javier López 001 (IET Inf. Secur., 2019)

A Blockchain Approach for Decentralized V2X (D-V2X). - Isaac Agudo; Manuel Montenegro; Javier López 001 (IEEE Trans. Veh. Technol., 2021)

Real-time Crowd Counting based on Wearable Ephemeral IDs. - Daniel Morales 001; Isaac Agudo; Javier López 001 (SECRYPT, 2022)

Learning Multi-Party Adversarial Encryption and Its Application to Secret Sharing. - Ishak Meraouche; Sabyasachi Dutta; Sraban Kumar Mohanty; Isaac Agudo; Kouichi Sakurai (IEEE Access, 2022)

Integration of MPC into Besu through an extended private transaction model. - Daniel Morales 001; Isaac Agudo; Javier López 001 (MetaCom, 2023)

An empirical evaluation of BLE for ITS scenarios. - Elena Molina; Ruben Rios; Isaac Agudo (VTC Fall, 2023)

Private set intersection: A systematic literature review. - Daniel Morales 001; Isaac Agudo; Javier López 001 (Comput. Sci. Rev., 2023)

Benchmarking Post-quantum Cryptography in Ethereum-Based Blockchains. - Patxi Juaristi; Isaac Agudo; Ruben Rios; Laura Ricci (ESORICS Workshops (1), 2024)

Privacy-Preserving Tabular Data Generation: Systematic Literature Review. - Pablo Sánchez-Serrano; Ruben Rios; Isaac Agudo (ESORICS Workshops (1), 2024)

Protecting Cryptographic Material in Ethereum Blockchain Clients Using an Open-source Secure Element. - Mario de la Haba Navarro; Pablo Sánchez-Serrano; Isaac Agudo (ERCIM News, 2024)

A decision framework for privacy-preserving synthetic data generation. - Pablo Sánchez-Serrano; Ruben Rios; Isaac Agudo (Comput. Electr. Eng., 2025)

Toward a Framework for Cost-Effective and Publicly Verifiable Confidential Computations in Blockchain. - Daniel Morales 001; Isaac Agudo; Javier López 001 (IEEE Commun. Mag., 2025)

A Lightweight Mechanism for Dynamic Secret Sharing of Private Data by Constrained Devices. - Daniel Morales 001; Isaac Agudo; Javier López 001 (IEEE Internet Things J., 2025)