Abel Armas-Cervantes
2 indexed papers
Recent (6 mo)
2With code
0Influential cites
0Benchmarked
0Publications per year
226
Top categories
Crypto×2Software Eng.×2
Research Timeline
2026
Secure Conformance Checking using Token-based Replay and Homomorphic Encryption
The paper proposes a secure conformance checking method that allows a party to verify an event log against a process model while protecting the sensitive data within the log using homomorphic encryption and token-based replay.
A Privacy-Preserving Approach to Conformance Checking
The paper proposes a secure, privacy-preserving method for conformance checking using homomorphic encryption and string processing algorithms, allowing the check to be performed without exposing the process model or the event log.
Highlighted terms show continued research focus across papers
Papers
cs.CRcs.SERecentApr 30, 2026
A Privacy-Preserving Approach to Conformance Checking
The paper proposes a secure, privacy-preserving method for conformance checking using homomorphic encryption and string processing algorithms, allowing the check to be performed without exposing the p…
View →
cs.CRcs.SERecentApr 28, 2026