Efficient Control of Temporal Reasoning. - M. Carmen Fernández Gago (ARW, 2000)

Algorithms for Guiding Clausal Temporal Resolution. - M. Carmen Fernández Gago; Michael Fisher 001; Clare Dixon (KI, 2002)

Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. - Clare Dixon; M. Carmen Fernández Gago; Michael Fisher 001; Wiebe van der Hoek (TIME, 2004)

Efficient control of temporal reasoning. - M. Carmen Fernández Gago (2004)

First-Order Temporal Verification in Practice. - M. Carmen Fernández Gago; Ullrich Hustadt; Clare Dixon; Michael Fisher 001; Boris Konev (J. Autom. Reason., 2005)

Temporal Logics of Knowledge and their Applications in Security. - Clare Dixon; M. Carmen Fernández Gago; Michael Fisher 001; Wiebe van der Hoek (ICS@SYNASC, 2006)

Featuring trust and reputation management systems for constrained hardware devices. - Rodrigo Roman; M. Carmen Fernández Gago; Javier López 001 (Autonomics, 2007)

A Survey on the Applicability of Trust Management Systems for Wireless Sensor Networks. - M. Carmen Fernández Gago; Rodrigo Roman; Javier López 001 (SECPerU, 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)

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)

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)

A security framework for a workflow-based grid development platform. - José Luis Vivas; M. Carmen Fernández Gago; Javier López 001; Andrés Benjumea (Comput. Stand. Interfaces, 2010)

An Early Warning System Based on Reputation for Energy Control Systems. - Cristina Alcaraz; M. Carmen Fernández Gago; Javier López 001 (IEEE Trans. Smart Grid, 2011)

Service-Oriented Trust and Reputation Architecture. - Francisco Moyano; Carmen Fernández Gago; Javier López 001 (ESSoS Doctoral Symposium, 2012)

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

Building Trust and Reputation In: A Development Framework for Trust Models Implementation. - Francisco Moyano; M. Carmen Fernández Gago; Javier López 001 (STM, 2012)

A Conceptual Framework for Trust Models. - Francisco Moyano; M. Carmen Fernández Gago; Javier López 001 (TrustBus, 2012)

Detecting Insider Threats: A Trust-Aware Framework. - Federica Paci; M. Carmen Fernández Gago; Francisco Moyano (ARES, 2013)

Towards Engineering Trust-Aware Future Internet Systems. - Francisco Moyano; M. Carmen Fernández Gago; Javier López 001 (CAiSE Workshops, 2013)

A Metamodel for Measuring Accountability Attributes in the Cloud. - David Nuñez 001; M. Carmen Fernández Gago; Siani Pearson; Massimo Felici (CloudCom (1), 2013)

A framework for enabling trust requirements in social cloud applications. - Francisco Moyano; M. Carmen Fernández Gago; Javier López 001 (Requir. Eng., 2013)

Metrics for Accountability in the Cloud. - M. Carmen Fernández Gago; David Nuñez 001 (A4Cloud, 2014)

Trust-Aware Decision-Making Methodology for Cloud Sourcing. - Francisco Moyano; Kristian Beckers; M. Carmen Fernández Gago (CAiSE, 2014)

Tools for Cloud Accountability: A4Cloud Tutorial. - M. Carmen Fernández Gago; Vasilios Tountopoulos; Simone Fischer-Hübner; Rehab Alnemr; David Nuñez 001; Julio Angulo; Tobias Pulls; Theo Koulouris (Privacy and Identity Management, 2014)

Enhancing Problem Frames with Trust and Reputation for Analyzing Smart Grid Security Requirements. - Francisco Moyano; M. Carmen Fernández Gago; Kristian Beckers; Maritta Heisel (SmartGridSec, 2014)

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

Engineering Trust-Awareness and Self-adaptability in Services and Systems. - Francisco Moyano; M. Carmen Fernández Gago; Benoit Baudry; Javier López 001 (Engineering Secure Future Internet Services and Systems, 2014)

A4Cloud Workshop: Accountability in the Cloud. - M. Carmen Fernández Gago; Siani Pearson; Michela D'Errico; Rehab Alnemr; Tobias Pulls; Anderson Santana de Oliveira (Privacy and Identity Management, 2015)

Engineering trust- and reputation-based security controls for future internet systems. - Kristian Beckers; Maritta Heisel; Francisco Moyano; M. Carmen Fernández Gago (SAC, 2015)

Privacy-Aware Trust Negotiation. - Ruben Rios; M. Carmen Fernández Gago; Javier López 001 (STM, 2016)

Eliciting metrics for accountability of cloud systems. - David Nuñez 001; M. Carmen Fernández Gago; Jesus Luna (Comput. Secur., 2016)

A model-driven approach for engineering trust and reputation into software services. - Francisco Moyano; M. Carmen Fernández Gago; Javier López 001 (J. Netw. Comput. Appl., 2016)

Modelling trust dynamics in the Internet of Things. - M. Carmen Fernández Gago; Francisco Moyano; Javier López 001 (Inf. Sci., 2017)

Policy Languages and Their Suitability for Trust Negotiation. - Martin Kolár; M. Carmen Fernández Gago; Javier López 001 (DBSec, 2018)

A Trust-by-Design Framework for the Internet of Things. - Davide Ferraris; M. Carmen Fernández Gago; Javier López 001 (NTMS, 2018)

Modelling privacy-aware trust negotiations. - Ruben Rios; M. Carmen Fernández Gago; Javier López 001 (Comput. Secur., 2018)

A Segregated Architecture for a Trust-based Network of Internet of Things. - Davide Ferraris; M. Carmen Fernández Gago; Joshua Daniel; Javier López 001 (CCNC, 2019)

A model specification for the design of trust negotiations. - Martin Kolár; M. Carmen Fernández Gago; Javier López 001 (Comput. Secur., 2019)

A Model Specification Implementation for Trust Negotiation. - Martin Kolár; M. Carmen Fernández Gago; Javier López 001 (NSS, 2020)

A model-driven approach to ensure trust in the IoT. - Davide Ferraris; M. Carmen Fernández Gago; Javier López 001 (Hum. centric Comput. Inf. Sci., 2020)

TrUStAPIS: a trust requirements elicitation method for IoT. - Davide Ferraris; M. Carmen Fernández Gago (Int. J. Inf. Sec., 2020)

A trust model for popular smart home devices. - Davide Ferraris; Daniel Bastos; M. Carmen Fernández Gago; Fadi El-Moussa 001 (Int. J. Inf. Sec., 2021)

Stakeholder perspectives and requirements on cybersecurity in Europe. - Simone Fischer-Hübner; Cristina Alcaraz; Afonso Ferreira; M. Carmen Fernández Gago; Javier López 001; Evangelos P. Markatos; Lejla Islami; Mahdi Akil (J. Inf. Secur. Appl., 2021)

Verification and Validation Methods for a Trust-by-Design Framework for the IoT. - Davide Ferraris; M. Carmen Fernández Gago; Javier López 001 (DBSec, 2022)

Novel Approaches for the Development of Trusted IoT Entities. - Davide Ferraris; M. Carmen Fernández Gago; Javier López 001 (SEC, 2022)

A Test Environment for Wireless Hacking in Domestic IoT Scenarios. - Antonio Muñoz 001; Carmen Fernández Gago; Roberto López-Villa (Mob. Networks Appl., 2023)

Trust interoperability in the Internet of Things. - M. Carmen Fernández Gago; Davide Ferraris; Rodrigo Roman; Javier López 001 (Internet Things, 2024)

A survey on IoT trust model frameworks. - Davide Ferraris; M. Carmen Fernández Gago; Rodrigo Roman; Javier López 001 (J. Supercomput., 2024)

Trust dynamicity for IoT: How do i trust your social IoT cluster? - Davide Ferraris; Carmen Fernández Gago; Younes Assouyat; Houda Labiod; Wang Haiguang; Javier López 001 (Internet Things, 2025)