Browsing by Author "Mouris, Dimitris"
Now showing 1 - 2 of 2
Results Per Page
Sort Options
Item NFTs For 3D Models: Sustaining Ownership In Industry 4.0(IEEE Consumer Electronics Magazine, 2022-04-01) Mouris, Dimitris; Tsoutsos, Nektarios GeorgiosDigital manufacturing (DM) is actively adopted to the production lifecycles of a variety of critical industries, and this rapid growth has resulted in exponential increase of 3D computer-aided design (CAD) models. Unfortunately, counterfeiting of intellectual property becomes a prominent threat as many 3D designs are accessible online, combined with the proliferation of cheap consumer 3D printers that enable malicious actors to produce non-authentic parts. State-of-the-art techniques to secure manufacturing processes mostly rely on watermarking, which embeds hidden information inside CAD models to prove ownership and authenticity. Nevertheless, such techniques tamper with the model itself, while existing attacks allow removing such watermarks altogether. To address these shortcomings, we integrate signal processing and cryptographic techniques and describe a tailored solution for CAD model ownership and supply chain management. Our approach generates unique identifiers for 3D designs using frequency-domain transforms and employs non-fungible tokens (NFTs) that persist on public distributed ledgers. Our NFTs are implemented on the Ethereum blockchain using smart contracts and their functionality is twofold: (a) authenticate the owner of a CAD model, and (b) enable ownership transfer. To validate our technique, we deployed our smart contract on Ethereum's proof-of-work Ropsten network and demonstrated the applicability of our methodology.Item Private and verifiable computation(University of Delaware, 2024) Mouris, DimitrisThe rise of cloud computing and big data analytics offers significant benefits for individuals and organizations as they enable a plethora of applications in diverse fields such as healthcare, home automation, and many more. These technologies enable individuals and organizations to adjust computational resources effortlessly and take advantage of large amounts of data, leading to improved efficiency and reduced costs. Unfortunately, processing vast amounts of data increases the risk of data theft and misuse as sensitive information is accessible by the cloud provider and vulnerable to attacks from third parties. Zero-knowledge proofs (ZKP), secure multiparty computation (MPC), and homomorphic encryption (HE) are key cryptographic techniques that focus on protecting data confidentiality while enabling valuable computations to be performed on sensitive data. Unfortunately, generic solutions incur significant performance overheads and may not be practical for many real-world use cases; thus, specialized protocols need to be devised. Another challenge with HE and MPC is to provide verifiable guarantees on the integrity of the computation, i.e., that it was performed faithfully. ZKPs offer a solution to this problem, yet combining these technologies requires intricate solutions. ☐ This dissertation focuses on private and verifiable computation. In particular, we start by introducing the Zilch framework for developing transparent ZKPs, i.e., ZKPs that do not need a trusted setup. Zilch consists of a back-end that allows verifying MIPS-like instructions and a front-end that compiles high-level code to our zero-knowledge MIPS back-end. As a result, our framework makes ZKPs more accessible and can facilitate many real-world applications. More specifically, we continue this dissertation by utilizing Zilch to create specialized protocols for proving both functional and security properties of intellectual property (IP) netlists without revealing anything about them. These works focus on thwarting IP piracy in the integrated circuit industry as IP vendors want to convince IP buyers about various properties of their netlists while still maintaining the privacy of their designs. ☐ Finally, we focus on privacy-preserving and verifiable statistics based on inputs from multiple clients. More specifically, we introduce two protocols that offer verifiable guarantees of the correctness of the final result and are secure against participants who do not follow the protocol specification. Both these works assume a set of clients that hold some private inputs and some aggregation servers that wish to compute statistics based on the client inputs privately. The first work is called Masquerade and focuses on aggregations and histograms, while the latter, called PLASMA, focuses on more elaborate statistics such as private heavy-hitters (i.e., finding the most popular client inputs). PLASMA relies on three servers and offers even stronger security guarantees by considering that even one of the servers may be malicious and not follow the protocol specification. These two works showcase real-world applications of private and verifiable computation.