자료유형  

 학위논문

Control Number  

0016934891

International Standard Book Number  

9798380315500

Dewey Decimal Classification Number  

004

Main Entry-Personal Name  

Recto, Rolph.

Publication, Distribution, etc. (Imprint  

[S.l.] : Cornell University., 2023

Publication, Distribution, etc. (Imprint  

Ann Arbor : ProQuest Dissertations & Theses, 2023

Physical Description  

1 online resource(191 p.)

General Note  

Source: Dissertations Abstracts International, Volume: 85-03, Section: A.

General Note  

Advisor: Myers, Andrew.

Dissertation Note  

Thesis (Ph.D.)--Cornell University, 2023.

Restrictions on Access Note  

This item must not be sold to any third party vendors.

Summary, Etc.  

요약Sophisticated cryptographic mechanisms for secure computation, such as multi-party computation (MPC) and homomorphic encryption (HE), allow for computing over encrypted data. These mechanisms have the potential to be used in a vast array of applications, from joint computations between mutually distrusting parties to privacy-preserving offloading of computation to service providers. While scientific advances have brought the performance of these mechanisms closer into widespread practical use, they still remain the purview of experts because of their forbidding programming models. We argue that compilers are necessary to democratize secure computation: a compiler would allow developers can write applications without worrying about the complicated details of using cryptographic mechanisms such as MPC and HE.To this end, we present two compilers for secure computation. First, we present Viaduct, an extensible compiler that can target a variety of cryptographic mechanisms. Developers write Viaduct programs in a security-typed language that allow them to annotate data with high-level security policies; the compiler then uses these annotations to determine which cryptographic mechanism can most efficiently and securely execute program components. Second, we present Viaduct-HE, a compiler that targets homomorphic encryption schemes. Modern HE schemes afford great performance improvements through batching many data elements into a single ciphertext, but data layouts that take advantage of batching most efficiently can be very complicated. Developers write Viaduct-HE programs in a high-level, array-oriented language; the compiler then searches for efficient strategies to lay out data in ciphertexts.

Subject Added Entry-Topical Term  

Computer science.

Subject Added Entry-Topical Term  

Design.

Index Term-Uncontrolled  

Compilers

Index Term-Uncontrolled  

Cryptography

Index Term-Uncontrolled  

Programming languages

Index Term-Uncontrolled  

Secure computation

Index Term-Uncontrolled  

Homomorphic encryption

Added Entry-Corporate Name  

Cornell University Computer Science

Host Item Entry  

Dissertations Abstracts International. 85-03A.

Host Item Entry  

Dissertation Abstract International

Electronic Location and Access  

로그인을 한후 보실 수 있는 자료입니다.

Control Number  

joongbu:641415