Saved in:
| Main Authors: | , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2509.02413 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910157157433344 |
|---|---|
| author | Marangone, Edoardo Nemmi, Eugenio Nerio Friolo, Daniele Ateniese, Giuseppe Weber, Ingo Di Ciccio, Claudio |
| author_facet | Marangone, Edoardo Nemmi, Eugenio Nerio Friolo, Daniele Ateniese, Giuseppe Weber, Ingo Di Ciccio, Claudio |
| contents | Decision support systems are increasingly adopted to automate decision-making processes across industries, organizations, and governments. Decision support demands data privacy, integrity, and availability while ensuring customization, security, and verifiability of the decision process. Existing solutions fail to guarantee those properties altogether. To overcome this limitation, we propose SPARTA, an approach based on Trusted Execution Environments (TEEs) that automates decision processes. To guarantee privacy, integrity, and availability, SPARTA employs efficient cryptographic techniques on notarized data with access mediated through user-defined access policies. Our solution allows users to define decision rules, which are translated to certified software objects deployed within TEEs, thereby guaranteeing customization, verifiability, and security of the process. With experiments run on public benchmarks and synthetic data, we show our approach is scalable and adds limited overhead compared to non-cryptographically secured solutions. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_02413 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A Secure, Confidential, and Verifiable Decision Support System Marangone, Edoardo Nemmi, Eugenio Nerio Friolo, Daniele Ateniese, Giuseppe Weber, Ingo Di Ciccio, Claudio Cryptography and Security Decision support systems are increasingly adopted to automate decision-making processes across industries, organizations, and governments. Decision support demands data privacy, integrity, and availability while ensuring customization, security, and verifiability of the decision process. Existing solutions fail to guarantee those properties altogether. To overcome this limitation, we propose SPARTA, an approach based on Trusted Execution Environments (TEEs) that automates decision processes. To guarantee privacy, integrity, and availability, SPARTA employs efficient cryptographic techniques on notarized data with access mediated through user-defined access policies. Our solution allows users to define decision rules, which are translated to certified software objects deployed within TEEs, thereby guaranteeing customization, verifiability, and security of the process. With experiments run on public benchmarks and synthetic data, we show our approach is scalable and adds limited overhead compared to non-cryptographically secured solutions. |
| title | A Secure, Confidential, and Verifiable Decision Support System |
| topic | Cryptography and Security |
| url | https://arxiv.org/abs/2509.02413 |