tdsc专题

Securing TEEs With Verifiable Execution Contracts【TDSC`23】

目录 摘要引言贡献 背景Intel SGX侧信道攻击Intel处理器的硬件扩展 概述威胁模型SGX已存的安全威胁侧信道泄露操作系统相关的威胁现有防御的限制 可验证的执行合同作为防御 摘要 最近的研究表明,可信执行环境,如Intel Software Guard Extensions,容易受到特权软件的各种攻击,包括侧通道攻击。 现有的解决方案,如T-SGX、Daughejàa

Achieving Privacy-Preserving Discrete Fréchet Distance Range Queries,发表于IEEE TDSC,2022

最近在读的一篇文章,读起来比较费劲,但是还好,技术方法不难理解 这篇文章旨在一个轨迹集合中查找与给定轨迹的距离不超过某一阈值的轨迹。 在接下来的分析中,我们令其是一个二维平面,即k=2,轨迹集合中有,N个轨迹,每个轨迹有个点,每个点的坐标为 一、先对每条轨迹进行加密:对轨迹的加密 先是对ID加密,再对对其上的每个点的坐标加密,对坐标写成向量的形式,先转换(4.2章)如下:   再加