面向混合安全计算的领域特定语言探索
密码学与安全
2025-05-28 v1
摘要
全同态加密（FHE）和可信执行环境（TEE）是在数据处理过程中提供机密性的两种方法。每种方法都有其自身的优缺点。在某些场景下，可以在混合环境中使用 FHE 和 TEE 执行计算。然而，在这种混合设置中处理数据带来了挑战，因为这需要针对所选技术改编并重写算法。我们提出了一种用于安全计算的领域特定语言（DSL），它允许表达要执行的计算，并根据可用情况利用 FHE 或 TEE 的后端来执行这些计算。
引用
@article{arxiv.2505.20912,
title = {Towards a DSL for hybrid secure computation},
author = {Romain de Laage},
journal= {arXiv preprint arXiv:2505.20912},
year = {2025}
}