서브메뉴
검색
Compilers for Secure Computation- [electronic resource]
Compilers for Secure Computation- [electronic resource]
상세정보
- 자료유형
- 학위논문
- 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
MARC
008240221s2023 ulk 00 kor■001000016934891
■00520240214101817
■006m o d
■007cr#unu||||||||
■020 ▼a9798380315500
■035 ▼a(MiAaPQ)AAI30576198
■040 ▼aMiAaPQ▼cMiAaPQ
■0820 ▼a004
■1001 ▼aRecto, Rolph.▼0(orcid)0009-0001-5518-8560
■24510▼aCompilers for Secure Computation▼h[electronic resource]
■260 ▼a[S.l.]▼bCornell University. ▼c2023
■260 1▼aAnn Arbor▼bProQuest Dissertations & Theses▼c2023
■300 ▼a1 online resource(191 p.)
■500 ▼aSource: Dissertations Abstracts International, Volume: 85-03, Section: A.
■500 ▼aAdvisor: Myers, Andrew.
■5021 ▼aThesis (Ph.D.)--Cornell University, 2023.
■506 ▼aThis item must not be sold to any third party vendors.
■520 ▼aSophisticated 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.
■590 ▼aSchool code: 0058.
■650 4▼aComputer science.
■650 4▼aDesign.
■653 ▼aCompilers
■653 ▼aCryptography
■653 ▼aProgramming languages
■653 ▼aSecure computation
■653 ▼aHomomorphic encryption
■690 ▼a0984
■690 ▼a0389
■71020▼aCornell University▼bComputer Science.
■7730 ▼tDissertations Abstracts International▼g85-03A.
■773 ▼tDissertation Abstract International
■790 ▼a0058
■791 ▼aPh.D.
■792 ▼a2023
■793 ▼aEnglish
■85640▼uhttp://www.riss.kr/pdu/ddodLink.do?id=T16934891▼nKERIS▼z이 자료의 원문은 한국교육학술정보원에서 제공합니다.
■980 ▼a202402▼f2024
