TWC: Small: Collaborative: Practical Security Protocols via Advanced Data Structures

数据结构由于其广泛的适用性，在现代计算中具有突出的作用，如在数据库查询、网络搜索和社会网络分析中。该项目关注数据结构与安全协议的相互作用，考察了两种不同的范例：数据结构的安全性范例(SD)和数据结构的安全范例(DS)。在可持续发展模式中，该项目的目标是为数据集中的数据元素以及这些数据元素之间的相互关系和分布提供安全和隐私，例如在社交网络中的节点之间的链接，以及在DS模式中，开发新的数据结构，以提高安全和/或隐私应用的算法的效率。该项目探索了实现这些目标的方法，包括算法设计、理论分析、安全性和正确性的严格证明，以及对实用性主张的实验验证。本文主要研究了三种先进的数据结构：树形结构、可逆布隆过滤器和级联表的安全性和网络安全应用。该项目推进了以下方面的知识：(A)SD范例中经过身份验证的数据结构和可验证的查询执行，以及(B)DS范例中的安全重复数据删除、可搜索加密和隐私保护内存分配器。

Data structures have a prominent modern computational role, due to their wide applicability, such as in database querying, web searching, and social network analysis. This project focuses on the interplay of data structures with security protocols, examining two different paradigms: the security for data structures paradigm (SD) and the data structures for security paradigm (DS). The objectives of this project are, in the SD paradigm, to provide security and privacy both for data elements in data sets and also for the inter-relationships and distributions between such data elements, such as links between nodes in a social network, and, in the DS paradigm, to develop new data structures to improve the efficiency of algorithms for security and/or privacy applications. The project explores methods for achieving these objectives include algorithm design, theoretical analysis, rigorous proofs of security and correctness, and experimental validation of claims of practicality. This research focuses on the security and cybersecurity uses of three advanced data structures: tree structures, invertible Bloom filters and cascading tables. The project advances knowledge on (a) authenticated data structures and verifiable query execution within the SD paradigm, and (b) secure deduplication, searchable encryption, and privacy-preserving memory allocators within the DS paradigm.