Dissertation/ Thesis
Compiler Cryptosystem Co-Design
| Τίτλος: | Compiler Cryptosystem Co-Design |
|---|---|
| Συγγραφείς: | Raghav Malik |
| Έτος έκδοσης: | 2025 |
| Συλλογή: | Purdue University Graduate School: Figshare |
| Θεματικοί όροι: | Cryptography, Programming languages, privacy-preserving computation, multiparty computation, programming language performance, compilers, Fully Homomorphic Encryption |
| Περιγραφή: | In a world increasingly concerned with data privacy, the availability of privacy-preserving computation is more important than ever. Unfortunately, the widespread adoption of powerful cryptographic techniques such as Multiparty Computation (MPC) and Fully Homomorphic Encryption (FHE) is limited by the great deal of expertise they require, and their lack of easy programmability. Alleviating this burden of expertise is the subject of much research from both the programming languages and cryptography communities, and is the goal of this dissertation. To this end, we introduce the philosophy of Compiler Cryptosystem Co-Design , which posits that in order to achieve this goal, we need to build compilers that understand the target cryptosystem , and simultaneously develop cryptosystem abstractions tailored to the compiler rather than the programmer. We justify the above claim by presenting four increasingly ambitious examples of applying Compiler Cryptosystem Co-Design to problems in the domain of Fully Homomorphic Encryption computations. We conclude by observing that although this dissertation represents an important step towards making privacy preserving computation universally accessible, the ideas contained therein barely scratch the surface of what is possible with compiler cryptosystem co-design; we present two interesting future directions to explore. |
| Τύπος εγγράφου: | thesis |
| Γλώσσα: | unknown |
| Relation: | https://figshare.com/articles/thesis/Compiler_Cryptosystem_Co-Design/30349831 |
| DOI: | 10.25394/PGS.30349831.v1 |
| Διαθεσιμότητα: | https://doi.org/10.25394/PGS.30349831.v1 |
| Rights: | CC BY 4.0 |
| Αριθμός Καταχώρησης: | edsbas.EBFD7EA9 |
| Βάση Δεδομένων: | BASE |
| FullText | Text: Availability: 0 CustomLinks: – Url: https://doi.org/10.25394/PGS.30349831.v1# Name: EDS - BASE (ns324271) Category: fullText Text: View record from BASE |
|---|---|
| Header | DbId: edsbas DbLabel: BASE An: edsbas.EBFD7EA9 RelevancyScore: 892 AccessLevel: 3 PubType: Dissertation/ Thesis PubTypeId: dissertation PreciseRelevancyScore: 891.935607910156 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Compiler Cryptosystem Co-Design – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Raghav+Malik%22">Raghav Malik</searchLink> – Name: DatePubCY Label: Publication Year Group: Date Data: 2025 – Name: Subset Label: Collection Group: HoldingsInfo Data: Purdue University Graduate School: Figshare – Name: Subject Label: Subject Terms Group: Su Data: <searchLink fieldCode="DE" term="%22Cryptography%22">Cryptography</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22privacy-preserving+computation%22">privacy-preserving computation</searchLink><br /><searchLink fieldCode="DE" term="%22multiparty+computation%22">multiparty computation</searchLink><br /><searchLink fieldCode="DE" term="%22programming+language+performance%22">programming language performance</searchLink><br /><searchLink fieldCode="DE" term="%22compilers%22">compilers</searchLink><br /><searchLink fieldCode="DE" term="%22Fully+Homomorphic+Encryption%22">Fully Homomorphic Encryption</searchLink> – Name: Abstract Label: Description Group: Ab Data: In a world increasingly concerned with data privacy, the availability of privacy-preserving computation is more important than ever. Unfortunately, the widespread adoption of powerful cryptographic techniques such as Multiparty Computation (MPC) and Fully Homomorphic Encryption (FHE) is limited by the great deal of expertise they require, and their lack of easy programmability. Alleviating this burden of expertise is the subject of much research from both the programming languages and cryptography communities, and is the goal of this dissertation. To this end, we introduce the philosophy of Compiler Cryptosystem Co-Design , which posits that in order to achieve this goal, we need to build compilers that understand the target cryptosystem , and simultaneously develop cryptosystem abstractions tailored to the compiler rather than the programmer. We justify the above claim by presenting four increasingly ambitious examples of applying Compiler Cryptosystem Co-Design to problems in the domain of Fully Homomorphic Encryption computations. We conclude by observing that although this dissertation represents an important step towards making privacy preserving computation universally accessible, the ideas contained therein barely scratch the surface of what is possible with compiler cryptosystem co-design; we present two interesting future directions to explore. – Name: TypeDocument Label: Document Type Group: TypDoc Data: thesis – Name: Language Label: Language Group: Lang Data: unknown – Name: NoteTitleSource Label: Relation Group: SrcInfo Data: https://figshare.com/articles/thesis/Compiler_Cryptosystem_Co-Design/30349831 – Name: DOI Label: DOI Group: ID Data: 10.25394/PGS.30349831.v1 – Name: URL Label: Availability Group: URL Data: https://doi.org/10.25394/PGS.30349831.v1 – Name: Copyright Label: Rights Group: Cpyrght Data: CC BY 4.0 – Name: AN Label: Accession Number Group: ID Data: edsbas.EBFD7EA9 |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.EBFD7EA9 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.25394/PGS.30349831.v1 Languages: – Text: unknown Subjects: – SubjectFull: Cryptography Type: general – SubjectFull: Programming languages Type: general – SubjectFull: privacy-preserving computation Type: general – SubjectFull: multiparty computation Type: general – SubjectFull: programming language performance Type: general – SubjectFull: compilers Type: general – SubjectFull: Fully Homomorphic Encryption Type: general Titles: – TitleFull: Compiler Cryptosystem Co-Design Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Raghav Malik IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Type: published Y: 2025 Identifiers: – Type: issn-locals Value: edsbas – Type: issn-locals Value: edsbas.oa |
| ResultId | 1 |