| 2022 | DBSEC | Verification and Validation Methods for a Trust-by-Design Framework for the IoT. | Davide Ferraris, M. Carmen Fernndez Gago, Javier Lpez |
| 2022 | SEC | Novel Approaches for the Development of Trusted IoT Entities. | Davide Ferraris, M. Carmen Fernndez Gago, Javier Lpez |
| 2020 | NSS | A Model Specification Implementation for Trust Negotiation. | Martin Kolr, M. Carmen Fernndez Gago, Javier Lpez |
| 2018 | DBSEC | Policy Languages and Their Suitability for Trust Negotiation. | Martin Kolr, M. Carmen Fernndez Gago, Javier Lpez |
| 2015 | SAC | Engineering trust- and reputation-based security controls for future internet systems. | Kristian Beckers, Maritta Heisel, Francisco Moyano, M. Carmen Fernndez Gago |
| 2014 | CaiSE | Trust-Aware Decision-Making Methodology for Cloud Sourcing. | Francisco Moyano, Kristian Beckers, M. Carmen Fernndez Gago |
| 2013 | CaiSE | Towards Engineering Trust-Aware Future Internet Systems. | Francisco Moyano, M. Carmen Fernndez Gago, Javier Lpez |
| 2013 | CloudCom | A Metamodel for Measuring Accountability Attributes in the Cloud. | David Nuez, M. Carmen Fernndez Gago, Siani Pearson, Massimo Felici |
| 2012 | TrustBus | A Conceptual Framework for Trust Models. | Francisco Moyano, M. Carmen Fernndez Gago, Javier Lpez |
| 2009 | TrustBus | Adaptive Dispatching of Incidences Based on Reputation for SCADA Systems. | Cristina Alcaraz, Isaac Agudo, M. Carmen Fernndez Gago, Rodrigo Roman, Gerardo Fernandez, Javier Lpez |
| 2008 | TrustBus | A Model for Trust Metrics Analysis. | Isaac Agudo, M. Carmen Fernndez Gago, Javier Lpez |
| 2004 | TIME | Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. | Clare Dixon, M. Carmen Fernndez Gago, Michael Fisher, Wiebe van der Hoek |
| 2002 | KI | Algorithms for Guiding Clausal Temporal Resolution. | M. Carmen Fernndez Gago, Michael Fisher, Clare Dixon |