Guardado en:
| Autores principales: | , , , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2509.02413 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _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 |