Follow
Juan Carlos Lopez Pimentel
Juan Carlos Lopez Pimentel
Verified email at up.edu.mx
Title
Cited by
Cited by
Year
Formal support to security protocol development: A survey
JC López Pimentel, R Monroy
Computación y Sistemas 12 (1), 89-108, 2008
292008
Smart campus: An experimental performance comparison of collaborative and cooperative schemes for wireless sensor network
C Del-Valle-Soto, LJ Valdivia, R Velázquez, L Rizo-Dominguez, ...
Energies 12 (16), 3135, 2019
262019
A method for patching interleaving-replay attacks in faulty security protocols
JCL Pimentel, R Monroy, D Hutter
Electronic Notes in Theoretical Computer Science 174 (4), 117-130, 2007
202007
Blockchain and off-chain: A Solution for Audit Issues in Supply Chain Systems
JC López-Pimentel, O Rojas, R Monroy
2020 IEEE International Conference on Blockchain (Blockchain) 1, 126-133, 2020
52020
Quadratic optimization fine tuning for the support vector machines learning phase
M González-Mendoza, REI Orozco, ALG Gamboa, N Hernández-Gress, ...
Expert systems with applications 41 (3), 886-892, 2014
42014
Automating the avocado supply chain with Blockchain and Off-chain
JC López-Pimentel, O Rojas, M Alcaraz-Rivera, G Sosa-Gómez, ...
8th International Conference on Information Systems, Logistics and Supply …, 2020
32020
Automating the avocado supply chain with Blockchain and Off-chain
JC López-Pimentel, O Rojas, M Alcaraz-Rivera, G Sosa-Gómez, ...
8th International Conference on Information Systems, Logistics and Supply …, 2020
32020
On the Automated Correction of Faulty Security Protocols
JC López Pimentel
Instituto Tecnológico y de Estudios Superiores de Monterrey, 2008
32008
A rippling-based difference reduction technique to automatically prove security protocol goals
JC López, R Monroy
Ibero-American Conference on Artificial Intelligence, 364-374, 2004
22004
RootLogChain: Registering Log-Events in a Blockchain for Audit Issues from the Creation of the Root
JC López-Pimentel, LA Morales-Rosales, R Monroy
Sensors 21 (22), 7669, 2021
12021
Sustainable project-based learning methodology adaptable to technological advances for web programming
JC López-Pimentel, A Medina-Santiago, M Alcaraz-Rivera, ...
Sustainability 13 (15), 8482, 2021
12021
Secure Distributed Network Model to Store Vehicle Transaction Records Through Blockchain Platform
JC López-Pimentel, M Alcaraz Rivera
2020 IEEE International Conference on Blockchain (Blockchain) 1, 359-364, 2020
12020
A Web Service for Signing and Authenticating Digital Documents based on Symmetric Cryptography Protocol
JCL Pimentel, VFRF Bon, R Monroy
IJDIWC, The Society of Digital Information and Wireless Communications, 4, 2012
12012
Type flaw attacks
R Monroy, JC Lopez-Pimentel
1
An SHA-3 Hardware Architecture against Failures Based on Hamming Codes and Triple Modular Redundancy
A Torres-Alvarado, LA Morales-Rosales, I Algredo-Badillo, ...
Sensors 22 (8), 2985, 2022
2022
Trade-Off Analysis of Hardware Architectures for Channel-Quality Classification Models
A Torres-Alvarado, LA Morales-Rosales, I Algredo-Badillo, ...
Sensors 22 (7), 2497, 2022
2022
A Cloud Microservices Architecture for Data Integrity Verifiability Based on Blockchain
JC López-Pimentel, LA Morales-Rosales, I Algredo-Badillo
Applied Sciences 12 (5), 2754, 2022
2022
An SHA-3 hardware architecture against failures based on hamming codes and triple modular redundancy
JC López-Pimentel
MDPI, 2022
2022
Trade-off analysis of hardware architectures for channel-quality classification mdodels
JC López-Pimentel
MDPI, 2022
2022
Sustainable Project-Based Learning Methodology Adaptable to Technological Advances for Web Programming
MARCDVS Juan Carlos López-Pimentel, Alejandro Medina-Santiago
Sustainability 15 (13), 1-22, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–20