Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 31 for “"Secure Computation"”.
-
Secure computation on untrusted platforms
… interest, yield improved protocols for secure out-sourcing of computation: Succinct Garbling Schemes. A garbling scheme is a way to encode a program P and input x as P̃̃ and x̃ such that P̃ can be evaluated on i to obtain P(x), but (P̃, x̃) reveals nothing more than P(x). We devise an …
-
Secure Computation in Decentralized Systems
… Bitcoin and Ethereum are real-world examples of secure distributed systems deployed at scale. Over the past decade, these systems and others have proven to provide a trust-minimized solution for computing. They ensure the correct execution of code (correctness), maintain the integrity of stored …
-
Maliciously Secure Computation, Theory and Practice
… how can two parties collaborate to run a computation over joint inputs, where both inputs remain private while still delivering the correct output? This thesis focuses on answering these questions by constructing secure computation protocols with low communication & computation overhead. …
-
Efficient secure computation enabled by blockchain technology
For several decades, secure multiparty computation has been the topic of extensive research, as it enables computing any functionality in a privacy-preserving manner, while ensuring correctness of the outputs. In recent years, the field has seen tremendous progress in terms of efficiency, although …
-
Hardware and protocols for authentication and secure computation
… private inputs while revealing nothing but the computation results to the other i.e. secure computation. We start with the problem of counterfeit detection through electronic tagging. Physical access to electronic tags can be leveraged to mount side-channel and fault injection attacks. We design …
-
Theoretical and practical advances in preprocessing based secure computation
Submission published under a 24 month embargo labeled 'Closed Access', the embargo will last until 2027-08-01
-
Two-round maliciously secure computation with super-polynomial simulation
Submission published under a 24 month embargo labeled 'U of I Access', the embargo will last until 2023-12-01
-
Ascend : an architecture for performing secure computation on encrypted data
This thesis considers encrypted computation where the user specifies encrypted inputs to an untrusted batch program controlled by an untrusted server. In batch computation, all data that the program might need is known at program start time. Encrypted computation on untrusted batch programs can be …
-
Design and evaluation of information flow signature for secure computation of applications
… presents an architectural solution that provides secure and reliable execution of an application that computes critical data, in spite of potential hardware and software vulnerabilities. The technique does not require source code of or specifications about the malicious library function(s) called …
-
Secure Computation in Heterogeneous Environments: How to Bring Multiparty Computation Closer to Practice?
Many services that people use daily require computation that depends on the private data of multiple parties. While the utility of the final result of such interactions outweighs the privacy concerns related to output release, the inputs for such computations are much more sensitive and need to be …
-
Infrastructures for secure multiparty computation
… problem of implementing an infrastructure for secure multiparty computation (MPC). The goal of our infrastructure is to enable reliable communication, secure computation and fair computation in a network. The desiderata for an infrastructure include reusability, transferability and …
-
SafeGENIE: Secure and federated linear mixed model association tests
… limited privacy protection, due to the high computational burden of LMMs under existing secure computation frameworks. Here we introduce SafeGENIE, an efficient and provably secure algorithm for LMM-based association studies, which allows multiple entities to securely share their data to …
-
Keep it secret, keep it safe : privacy, security, and robustness in an adversarial world
… or devices necessitates the design of computational frameworks that are resilient to failures or malicious actors. This thesis introduces algorithms and definitions for a series of problems concerning robustness, security, and privacy in the many-party setting. We describe protocols for …
-
Practical homomorphic encryption implementations & applications
… is an exciting technology that enables computations to be performed over encrypted data. While initial constructions were impractical, recent works have enabled eciency necessary for many practical application. In this thesis, we present a new library for homomorphic encryption and two …
-
The MIT-IBM CloudSec 16: A Cloud Cybersecurity Benchmarking Framework
… service sector. When paired with MIT’s SCRAM secure computation platform, the MIT-IBM CloudSec 16 can provide an overview of cloud security in the financial service sector and enable organizations to and remediate areas of relative weakness.
-
Network oblivious transfer
… the goal of improving the concrete efficiency of secure multiparty computation (MPC), we study the possibility of implementing an infrastructure for MPC. We propose an infrastructure based on oblivious transfer (OT), which would consist of OT channels between some pairs of parties in the network. …
-
Succinct publicly auditable MPC with universal setup
In recent years, Multiparty computation as a service (MPCSaaS) is gaining popularity as a promising approach for building privacy-preserving communication systems. Although there has been significant improvement in the efficiency and robustness of such protocols, in this thesis, we argue that these …
-
PFHE: partially homomorphic encryption on CNN inference
Fully Homomorphic Encryption (FHE) enables secure computation on encrypted data, but its high computational overhead poses significant challenges for practical deep learning inference. In many application scenarios, high-resolution images may only contain a small portion of sensitive information. …
-
Correct Programs, Executed Correctly: Verifying Specifications And Executions
… through case studies in distributed systems, secure computation, and cryptographic protocols.
Page 1 of 2