A Rippling-Based Difference Reduction Technique to Automatically Prove Security Protocol Goals. - Juan Carlos López Pimentel; Raúl Monroy (IBERAMIA, 2004)

A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols. - Juan Carlos López Pimentel; Raúl Monroy; Dieter Hutter (V&D@FLoC, 2006)

On the Automated Correction of Security Protocols Susceptible to a Replay Attack. - Juan Carlos López Pimentel; Raúl Monroy; Dieter Hutter (ESORICS, 2007)

Formal Support to Security Protocol Development: A Survey. - Juan Carlos López Pimentel; Raúl Monroy (Computación y Sistemas, 2008)

Symmetric Cryptography Protocol for Signing and Authenticating Digital Documents. - Juan Carlos López Pimentel; Raúl Monroy; Víctor Fernando Ramos Fon Bon (ICDIPC (1), 2011)

BCP and ZQP Strategies to Reduce the SVM Training Time. - Rodolfo Ibarra-Orozco; Juan Carlos López Pimentel; Miguel González-Mendoza 001; Neil Hernández-Gress (MICAI (Special Sessions), 2012)

Quadratic optimization fine tuning for the Support Vector Machines learning phase. - Miguel González-Mendoza 001; Rodolfo Ibarra-Orozco; Ariel L. García-Gamboa; Neil Hernández-Gress; Jaime Mora-Vargas; Juan Carlos López Pimentel (Expert Syst. Appl., 2014)

Secure Distributed Network Model to Store Vehicle Transaction Records Through Blockchain Platform. - Juan Carlos López Pimentel; Miguel Alcaraz Rivera (Blockchain, 2020)

Blockchain and off-chain: A Solution for Audit Issues in Supply Chain Systems. - Juan Carlos López Pimentel; Omar Rojas; Raúl Monroy (Blockchain, 2020)

RootLogChain: Registering Log-Events in a Blockchain for Audit Issues from the Creation of the Root. - Juan Carlos López Pimentel; Luis Alberto Morales-Rosales; Raúl Monroy (Sensors, 2021)

Trade-Off Analysis of Hardware Architectures for Channel-Quality Classification Models. - Alan Torres-Alvarado; Luis Alberto Morales-Rosales; Ignacio Algredo-Badillo; Francisco López-Huerta; Mariana Lobato Báez; Juan Carlos López Pimentel (Sensors, 2022)

An SHA-3 Hardware Architecture against Failures Based on Hamming Codes and Triple Modular Redundancy. - Alan Torres-Alvarado; Luis Alberto Morales-Rosales; Ignacio Algredo-Badillo; Francisco López-Huerta; Mariana Lobato Báez; Juan Carlos López Pimentel (Sensors, 2022)

Distributed software architecture for accessing the NFT-Vehicle. - Juan Carlos López Pimentel; Luis Alberto Morales-Rosales; Carolina Del-Valle-Soto; Jose Alberto Del Puerto-Flores (SoftwareX, 2024)

A Comprehensive Review of Behavior Change Techniques in Wearables and IoT: Implications for Health and Well-Being. - Carolina Del-Valle-Soto; Juan Carlos López Pimentel; Javier Vázquez Castillo; Juan Arturo Nolazco-Flores; Ramiro Velázquez; José Varela Aldás; Paolo Visconti (Sensors, 2024)

Emphasizing the Early Phases of the Software Development Process Before Deploying Smart Contracts. - Juan Carlos López Pimentel; Carolina Del-Valle-Soto; Leonardo J. Valdivia; Raúl Monroy (IEEE Access, 2025)