@inproceedings{10.1145/3748522.3779880,
    author = {Nguyen-Thuy, Linh and Crispo, Bruno},
    title = {PoME: Distributed Execution Proofs for Modern Microservices},
    year = {2026},
    isbn = {9798400722943},
    publisher = {Association for Computing Machinery},
    address = {New York, NY, USA},
    url = {https://doi.org/10.1145/3748522.3779880},
    doi = {10.1145/3748522.3779880},
    abstract = {Microservices increasingly adopt cloud-native and distributed designs in a wide range of areas. However, the distributed nature of microservice architectures complicates trust and security verification across independent services, particularly in security-sensitive domains such as financial, healthcare, and government systems. This paper introduces PoME, a framework for Proof-of-Microservice-Execution (PoME) that enables verifiable and privacy-preserving computation in zero-trust environments. PoME integrates zero-knowledge proofs, blockchain, and a sidecar-based pattern to generate cryptographic attestations of microservice operations without revealing sensitive data. It supports end-to-end verifiable workflows through recursive proof aggregation and decentralized storage using the InterPlanetary File System for tamper-resistant records. Implemented and evaluated on a Kubernetes-based microservices benchmark, PoME demonstrates feasible performance with negligible latency overhead and scalable proof management. The results confirm that PoME effectively preserves bidirectional trust and auditability in distributed systems, offering a practical foundation for secure, verifiable microservice deployments.},
    booktitle = {Proceedings of the 41st ACM/SIGAPP Symposium on Applied Computing},
    pages = {369–376},
    numpages = {8},
    keywords = {proof-of-execution(PoE), microservices, security, blockchain, zero-knowledge proofs},
    location = {Grand Hotel Palace, Thessaloniki, Greece},
    series = {SAC '26}
}