Collaborative Research: An Algorithmic Approach to Cyber-Security

该项目的重点是在网络环境中执行可信计算的有效算法，并应用于网络安全。智力优势。将研究以下主题：-认证数据结构和算法。我们将研究验证数据结构和算法结果的方法，即使这些计算是由不可信的第三方代表可信来源执行的。经过审计的算法。汇集了最近关于程序检查和流数据空间高效计算的研究，该项目将探索一个新的计算框架，其中计算由不受信任的用户社区执行，并由外部审计员以有限的计算资源进行检查。更广泛的影响。该提案针对一个对社会至关重要的主题领域--有效维护计算和计算资源安全的方法，包括传输重要数据的网络。

This project is focused on efficient algorithms for performing trustedcomputations in a networked environment, with applications tocyber-security.Intellectual Merit.The following topics will be investigated:- Authenticated data structures and algorithms. We will study methods for authenticating the results of data structures and algorithms, even when those computations are performed by an untrusted third party on behalf of a trusted source.- Audited algorithms. Bringing together recent research on program checking and space-efficient computations for streaming data, the project will explore a new computational framework in which computations are performed by a community of untrusted users and are checked by an external auditor with limited computational resources.Broader Impacts.The proposal is directed at a subject area of critical importance tosociety -- methods for efficiently maintaining the security ofcomputations and computational resources, including the networks thatcommunicate vital data.