Miguel Morales-Sandoval
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Previous Organizations / Institutes
The organizations / institutes from the scholar's other articles in the past ten years
Research Subjects
Miguel Morales-Sandoval has a total of 92 co-authors. Here are the top co-authors by number of shared publications:
C. Feregrino-Uribe
11 shared publicationsArturo Diaz-Perez
Unidad Guadalajara, CINVESTAV Unidad Guadalajara, Zapopan, Mexico
10 shared publicationsClaudia Feregrino-Uribe
Departamento de Ciencias Computacionales, Instituto Nacional de Astrofísica, Óptica y Electrónica (INAOE), Sta. Ma. Tonanzintla, México
10 shared publicationsIgnacio Algredo-Badillo
9 shared publications- Heidy Marisol Marin-Castro
Unidad Profesional Interdisciplinaria de Ingeniería Alejo Peralta, Instituto Politécnico Nacional
8 shared publications - Jose Luis Gonzalez Compean
Cinvestav Unidad Tamaulipas
8 shared publications
Latest Publications
- 30 October 2026
- Published by Springer Nature
- p. 50-65
A Noise Reduction Method for Privacy-Preserving Logistic Regression Training
- 30 October 2026
- Published by Springer Nature
- p. 50-65
A Noise Reduction Method for Privacy-Preserving Logistic Regression Training
- 30 October 2026
- Published by Springer Nature
- p. 66-81
Assessing the Impact of Standardized Post-quantum Digital Signatures on Self-sovereign Identity Artifacts
- 30 October 2026
- Published by Springer Nature
- p. 66-81
Assessing the Impact of Standardized Post-quantum Digital Signatures on Self-sovereign Identity Artifacts
- 29 September 2026
- Published by Springer Nature
- p. 387-396
Decentralized Gradient Verification in Federated Learning Via Recursive zk-SNARKs
- 29 September 2026
- Published by Springer Nature
- p. 387-396
Decentralized Gradient Verification in Federated Learning Via Recursive zk-SNARKs
- Open Access
- 17 September 2026
- Published by MDPI AG in Machine Learning and Knowledge Extraction
- Vol. 8 (9) , 287
Privacy-Preserving Process Model Discovery Using Fully Homomorphic and Quantum-Safe Encryption
Process mining is a data-driven technique that acts as a bridge between data science and process management. One of its main tasks is enabling the identification of process models from event logs. However, when event logs contain sensitive data or compliance with data protection regulations is required, privacy concerns arise. To address these issues, we propose a novel process discovery method that ensures data confidentiality under an honest-but-curious scenario. Our method is the first to leverage Ring Learning With Errors (RLWE)-based encryption for process discovery, enabling computations over quantum-resistant encrypted data. Unlike existing cryptographic approaches for Privacy-Preserving Process Discovery (PPPD), the proposed method uses fully homomorphic and RLWE-based encryption to execute the required computations over ciphertexts while preserving the quality of the discovered process models. This leads to a significant reduction in execution time compared to other PPPD approaches. We evaluated our method using real-life event logs commonly employed to evaluate process discovery algorithms. The results demonstrate improved performance and enhanced privacy compared to prior approaches. This contribution represents a substantial advancement in PPPD, laying the foundation for a secure and feasible cryptographic framework.
- 17 September 2026
- Published by MDPI AG in Machine Learning and Knowledge Extraction
- Vol. 8 (9) , 287
Open AccessPrivacy-Preserving Process Model Discovery Using Fully Homomorphic and Quantum-Safe Encryption
Process mining is a data-driven technique that acts as a bridge between data science and process management. One of its main tasks is enabling the identification of process models from event logs. However, when event logs contain sensitive data or compliance with data protection regulations is required, privacy concerns arise. To address these issues, we propose a novel process discovery method that ensures data confidentiality under an honest-but-curious scenario. Our method is the first to leverage Ring Learning With Errors (RLWE)-based encryption for process discovery, enabling computations over quantum-resistant encrypted data. Unlike existing cryptographic approaches for Privacy-Preserving Process Discovery (PPPD), the proposed method uses fully homomorphic and RLWE-based encryption to execute the required computations over ciphertexts while preserving the quality of the discovered process models. This leads to a significant reduction in execution time compared to other PPPD approaches. We evaluated our method using real-life event logs commonly employed to evaluate process discovery algorithms. The results demonstrate improved performance and enhanced privacy compared to prior approaches. This contribution represents a substantial advancement in PPPD, laying the foundation for a secure and feasible cryptographic framework.
- Open Access
- 1 January 2026
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Access
- Vol. 14, 117519-117533
Privacy-Preserving Conformance Checking Using Quantum-Safe Fully Homomorphic Encryption
- 1 January 2026
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Access
- Vol. 14, 117519-117533
Open AccessPrivacy-Preserving Conformance Checking Using Quantum-Safe Fully Homomorphic Encryption
- Open Access
- 29 September 2025
- Published by Springer Nature in Cluster Computing
- Vol. 28 (14) , 1-20
Xook-Sec: A policy-as-code framework for secure data-sharing on the computing continuum
Secure data exchange across the distributed computing continuum is essential for decision-making processes. However, achieving this securely is challenging due to the heterogeneous nature of the continuum, where each infrastructure presents distinct requirements and capabilities in computing, storage, and energy. This paper presents Xook-Sec, a framework for building secure data-sharing systems within the computing continuum. Xook-Sec is grounded in three key concepts: Policy-as-Code (PaC), Infrastructure-as-Code (IaC), and architectural patterns. PaC enables organizations to integrate multiple security services with applications distributed across different infrastructures managed via IaC. Architectural patterns support the customization and optimization of security services. Xook-Sec enables organizations to define multiple data-sharing patterns, taking into account various security requirements and infrastructure characteristics. We implemented a Xook-Sec prototype and conducted case studies including sensitive medical and satellite imagery. Our evaluation shows that Xook-Sec is both flexible and efficient, outperforming comparable state-of-the-art solutions. Specifically, in direct comparisons with Jenkins and Nextflow, Xook-Sec achieves performance improvements of up to 50% and 40%, respectively.
- 29 September 2025
- Published by Springer Nature in Cluster Computing
- Vol. 28 (14) , 1-20
Open AccessXook-Sec: A policy-as-code framework for secure data-sharing on the computing continuum
Secure data exchange across the distributed computing continuum is essential for decision-making processes. However, achieving this securely is challenging due to the heterogeneous nature of the continuum, where each infrastructure presents distinct requirements and capabilities in computing, storage, and energy. This paper presents Xook-Sec, a framework for building secure data-sharing systems within the computing continuum. Xook-Sec is grounded in three key concepts: Policy-as-Code (PaC), Infrastructure-as-Code (IaC), and architectural patterns. PaC enables organizations to integrate multiple security services with applications distributed across different infrastructures managed via IaC. Architectural patterns support the customization and optimization of security services. Xook-Sec enables organizations to define multiple data-sharing patterns, taking into account various security requirements and infrastructure characteristics. We implemented a Xook-Sec prototype and conducted case studies including sensitive medical and satellite imagery. Our evaluation shows that Xook-Sec is both flexible and efficient, outperforming comparable state-of-the-art solutions. Specifically, in direct comparisons with Jenkins and Nextflow, Xook-Sec achieves performance improvements of up to 50% and 40%, respectively.
- Open Access
- 5 August 2025
- Published by Elsevier in Future Generation Computer Systems
- Vol. 175
Elastic cloud platform for privacy-preserving data mining as a service
- 5 August 2025
- Published by Elsevier in Future Generation Computer Systems
- Vol. 175
Open AccessElastic cloud platform for privacy-preserving data mining as a service
- Open Access
- 18 December 2024
- Published by PeerJ in PeerJ Computer Science
- Vol. 10, e2601
A novel trace-based sampling method for conformance checking
It is crucial for organizations to ensure that their business processes are executed accurately and comply with internal policies and requirements. Process mining is a discipline of data science that exploits business process execution data to analyze and improve business processes. It provides a data-driven approach to understanding how processes actually work in practice. Conformance checking is one of the three most relevant process mining tasks. It consists of determining the degree of correspondence or deviation between the expected (or modeled) behavior of a process vs the real one observed and revealed from the historical events recorded in an event log during the execution of each instance of the process. Under a big data scenario, traditional conformance checking methods struggle to analyzing the instances or traces in large event logs, increasing the associated computational cost. In this article, we study and address the conformance-checking task supported by a traces selection approach that uses representative sample data of the event log and thus reduces the processing time and computational cost without losing confidence in the obtained conformance value. As main contributions, we present a novel conformance checking method that (i) takes into account the data dispersion that exists in the event log data using a statistic measure, (ii) determines the size of the representative sample of the event log for the conformance checking task, and (iii) establishes selection criteria of traces based on the dispersion level. The method was validated and evaluated using fitness, precision, generalization, and processing time metrics by experiments on three actual event logs in the health domain and two synthetic event logs. The experimental evaluation and results revealed the effectiveness of our method in coping with the problem of conformance between a process model and its corresponding large event log.
- 18 December 2024
- Published by PeerJ in PeerJ Computer Science
- Vol. 10, e2601
Open AccessA novel trace-based sampling method for conformance checking
It is crucial for organizations to ensure that their business processes are executed accurately and comply with internal policies and requirements. Process mining is a discipline of data science that exploits business process execution data to analyze and improve business processes. It provides a data-driven approach to understanding how processes actually work in practice. Conformance checking is one of the three most relevant process mining tasks. It consists of determining the degree of correspondence or deviation between the expected (or modeled) behavior of a process vs the real one observed and revealed from the historical events recorded in an event log during the execution of each instance of the process. Under a big data scenario, traditional conformance checking methods struggle to analyzing the instances or traces in large event logs, increasing the associated computational cost. In this article, we study and address the conformance-checking task supported by a traces selection approach that uses representative sample data of the event log and thus reduces the processing time and computational cost without losing confidence in the obtained conformance value. As main contributions, we present a novel conformance checking method that (i) takes into account the data dispersion that exists in the event log data using a statistic measure, (ii) determines the size of the representative sample of the event log for the conformance checking task, and (iii) establishes selection criteria of traces based on the dispersion level. The method was validated and evaluated using fitness, precision, generalization, and processing time metrics by experiments on three actual event logs in the health domain and two synthetic event logs. The experimental evaluation and results revealed the effectiveness of our method in coping with the problem of conformance between a process model and its corresponding large event log.
- Open Access
- 29 November 2024
- Published by Editorial Académica Dragón Azteca in International Journal of Combinatorial Optimization Problems and Informatics
- Vol. 15 (5) , 202-211
An Assessment of Encryption-based Approaches for Business Process Models Discovery
Process Mining as a Service (PMaaS) could enable organizations to delegate the analysis of their business processes to third parties in the cloud and then avoid costs related to storage and processing. However, this involves outsourcing event log data to the service provider, which can be honest but curious and learn from the data in clear. This potentially compromises the confidentiality and privacy of the event log data that can be sensitive, for example, in the healthcare domain. Thus, it is necessary to both safeguard the privacy of the event log data and guarantee their usefulness in the process mining tasks. This paper presents a study and experimental evaluation of two cryptographic-based methods suitable for PMaaS with security and privacy guaranties, tested under the process discovery task and evaluated through a set of experiments in terms of utility loss, performance and computational cost, using available event logs in the healthcare domain.
- 29 November 2024
- Published by Editorial Académica Dragón Azteca in International Journal of Combinatorial Optimization Problems and Informatics
- Vol. 15 (5) , 202-211
Open AccessAn Assessment of Encryption-based Approaches for Business Process Models Discovery
Process Mining as a Service (PMaaS) could enable organizations to delegate the analysis of their business processes to third parties in the cloud and then avoid costs related to storage and processing. However, this involves outsourcing event log data to the service provider, which can be honest but curious and learn from the data in clear. This potentially compromises the confidentiality and privacy of the event log data that can be sensitive, for example, in the healthcare domain. Thus, it is necessary to both safeguard the privacy of the event log data and guarantee their usefulness in the process mining tasks. This paper presents a study and experimental evaluation of two cryptographic-based methods suitable for PMaaS with security and privacy guaranties, tested under the process discovery task and evaluated through a set of experiments in terms of utility loss, performance and computational cost, using available event logs in the healthcare domain.
- 13 August 2024
- Published by Elsevier in Journal of Systems Architecture
- Vol. 155
A revocable multi-authority attribute-based encryption scheme for fog-enabled IoT
- 13 August 2024
- Published by Elsevier in Journal of Systems Architecture
- Vol. 155
A revocable multi-authority attribute-based encryption scheme for fog-enabled IoT