{"id":{"repo_id":"buffalo","oai_identifier":"oai:ubir.buffalo.edu:10477/78547"},"canonical_url":"https://search.dev.ndltd.org/etd/buffalo/oai:ubir.buffalo.edu:10477/78547","repository":{"repo_id":"buffalo","name":"Buffalo","base_url":"https://ubir.buffalo.edu/oai/request"},"display":{"title":"Input Certification for Secure Computation","abstract":"Ph.D.","abstract_html":"Ph.D.","abstract_has_math":false,"creators":["Jeong, Myoungin; 0000-0001-8524-3877"],"institution":"State University of New York at Buffalo","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":["Blanton, Marina","Mathematics"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2018,"date_issued":"2018-10-26T02:55:12Z","date_published":"2018-10-26T02:55:12Z","updated_at":"2026-07-27T19:05:12Z","subjects":["mathematics","computer science"],"languages":["eng"],"rights":["Users of works found in University at Buffalo Institutional Repository (UBIR) are responsible for identifying and contacting the copyright owner for permission to reuse. University at Buffalo Libraries do not manage rights for copyright-protected works and cannot assist with permissions.","Copyright retained by author."],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/10477/78547","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Blanton, Marina","Mathematics"]},{"key":"dc:creator","label":"Author","values":["Jeong, Myoungin; 0000-0001-8524-3877"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2018-10-26T02:55:12Z","2018","2018-08-02 07:50:05"]},{"key":"dc:publisher","label":"Institution","values":["State University of New York at Buffalo"]},{"key":"dc:type","label":"Dc Type","values":["Text","Dissertation"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["mathematics","computer science"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["Users of works found in University at Buffalo Institutional Repository (UBIR) are responsible for identifying and contacting the copyright owner for permission to reuse. University at Buffalo Libraries do not manage rights for copyright-protected works and cannot assist with permissions.","Copyright retained by author."]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/10477/78547"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Ph.D.","Secure multi-party computation (SMC) allows its participants to securely compute functionality without revealing their private input and has broad application across a diverse spectrum. In general, to prove the security of a cryptographic construction standard security model, one must consider participants as semi-honest or with malicious intent. However, we treat the problem outside of traditional security models even in the presence of malicious participants. We strengthening the security of SMC protocol with the ability to guarantee that the participants provide truthful inputs in the computation. In other words, we focus on enforcing input correctness.To begin this examination, we combine SMC techniques based on secret-sharing with signatures in order to enforce input correctness in the form of certification. We modify two signature schemes, the Camenisch-Lysyanskaya scheme and ElGamal scheme, to achieve private verification and efficiency of batch verification. Consequently, this shows the potential for integration with two prominent SMC protocols. Next, we utilize a certificate issued by a certification authority to verify the user's input correctness and consequently use it in the secure computation. In this work, we treat the enforcing correctness of evaluator's inputs to the two-party computation based on a garbled circuit evaluation in the presence of malicious participants. For the purpose of discourse, we modify the oblivious transfer (OT)/OT extension and construct new protocol with the goal of achieving efficient computation."]},{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Input Certification for Secure Computation"]}]}],"canonical_facts":{"dc:contributor":["Blanton, Marina","Mathematics"],"dc:creator":["Jeong, Myoungin; 0000-0001-8524-3877"],"dc:date":["2018-10-26T02:55:12Z","2018","2018-08-02 07:50:05"],"dc:description":["Ph.D.","Secure multi-party computation (SMC) allows its participants to securely compute functionality without revealing their private input and has broad application across a diverse spectrum. In general, to prove the security of a cryptographic construction standard security model, one must consider participants as semi-honest or with malicious intent. However, we treat the problem outside of traditional security models even in the presence of malicious participants. We strengthening the security of SMC protocol with the ability to guarantee that the participants provide truthful inputs in the computation. In other words, we focus on enforcing input correctness.To begin this examination, we combine SMC techniques based on secret-sharing with signatures in order to enforce input correctness in the form of certification. We modify two signature schemes, the Camenisch-Lysyanskaya scheme and ElGamal scheme, to achieve private verification and efficiency of batch verification. Consequently, this shows the potential for integration with two prominent SMC protocols. Next, we utilize a certificate issued by a certification authority to verify the user's input correctness and consequently use it in the secure computation. In this work, we treat the enforcing correctness of evaluator's inputs to the two-party computation based on a garbled circuit evaluation in the presence of malicious participants. For the purpose of discourse, we modify the oblivious transfer (OT)/OT extension and construct new protocol with the goal of achieving efficient computation."],"dc:format":["application/pdf"],"dc:identifier":["http://hdl.handle.net/10477/78547"],"dc:language":["eng"],"dc:publisher":["State University of New York at Buffalo"],"dc:rights":["Users of works found in University at Buffalo Institutional Repository (UBIR) are responsible for identifying and contacting the copyright owner for permission to reuse. University at Buffalo Libraries do not manage rights for copyright-protected works and cannot assist with permissions.","Copyright retained by author."],"dc:subject":["mathematics","computer science"],"dc:title":["Input Certification for Secure Computation"],"dc:type":["Text","Dissertation"]},"updated_at":"2026-07-27T19:05:12Z"}