<?xml version="1.0" encoding="UTF-8"?><?xml-stylesheet type="text/xsl" href="static/style.xsl"?><OAI-PMH xmlns="http://www.openarchives.org/OAI/2.0/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/ http://www.openarchives.org/OAI/2.0/OAI-PMH.xsd"><responseDate>2026-09-20T22:36:02Z</responseDate><request verb="GetRecord" identifier="oai:dspace.mit.edu:1721.1/145035" metadataPrefix="dim">https://dspace.mit.edu/server/oai/request</request><GetRecord><record><header><identifier>oai:dspace.mit.edu:1721.1/145035</identifier><datestamp>2022-08-30T03:23:01Z</datestamp><setSpec>com_1721.1_7582</setSpec><setSpec>com_1721.1_7581</setSpec><setSpec>col_1721.1_131023</setSpec></header><metadata><dim:dim xmlns:dim="http://www.dspace.org/xmlns/dspace/dim" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:doc="http://www.lyncode.com/xoai" xsi:schemaLocation="http://www.dspace.org/xmlns/dspace/dim http://www.dspace.org/schema/dim.xsd">
   <dim:field mdschema="dc" element="contributor" qualifier="advisor">Rivest, Ronald L.</dim:field>
   <dim:field mdschema="dc" element="contributor" qualifier="advisor">Park, Sunoo</dim:field>
   <dim:field mdschema="dc" element="contributor" qualifier="author">Gerbaud, Andrés Fábrega</dim:field>
   <dim:field mdschema="dc" element="contributor" qualifier="department">Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science</dim:field>
   <dim:field mdschema="dc" element="date" qualifier="accessioned">2022-08-29T16:28:41Z</dim:field>
   <dim:field mdschema="dc" element="date" qualifier="available">2022-08-29T16:28:41Z</dim:field>
   <dim:field mdschema="dc" element="date" qualifier="issued">2022-05</dim:field>
   <dim:field mdschema="dc" element="date" qualifier="submitted">2022-05-27T16:18:41.616Z</dim:field>
   <dim:field mdschema="dc" element="identifier" qualifier="uri">https://hdl.handle.net/1721.1/145035</dim:field>
   <dim:field mdschema="dc" element="description" qualifier="abstract">Security and transparency of voter registration systems are crucial properties that any electoral system must satisfy: without robust guarantees on the underlying voter data, trust in election results—and the system as a whole—is severely impacted.&#xd;
&#xd;
In this thesis, we study two fundamental problems related to the security of voter registration. First, we formalize voter registration systems by providing a set of high-level definitions that characterize these systems in a general sense. To our knowledge, this is the first formal treatment of this sub-field of election security, which is (surprisingly) often neglected by the academic community. By abstracting away low-level implementation details, our work provides a clearer understanding of these complex systems; furthermore, it lays the formal groundwork and definitions which are useful to design secure technical protocols. Thus, we hope to pave the way for more research in this area.&#xd;
&#xd;
Secondly, we give a brief overview of an ongoing work-in-progress consisting of a new design for voter registration systems with stronger transparency guarantees, where voters are able to independently verify that their data has not been tampered with, even in the presence of untrusted election officials. We hope that our eventual system increases voter confidence in the electoral system, and helps detect (and, thus, mitigate) attacks that target voter registration databases.</dim:field>
   <dim:field mdschema="dc" element="description" qualifier="degree">M.Eng.</dim:field>
   <dim:field mdschema="dc" element="publisher">Massachusetts Institute of Technology</dim:field>
   <dim:field mdschema="dc" element="rights">In Copyright - Educational Use Permitted</dim:field>
   <dim:field mdschema="dc" element="rights">Copyright MIT</dim:field>
   <dim:field mdschema="dc" element="rights" qualifier="uri">http://rightsstatements.org/page/InC-EDU/1.0/</dim:field>
   <dim:field mdschema="dc" element="title">Voter Registration: A Security and Cryptography Perspective</dim:field>
   <dim:field mdschema="dc" element="type">Thesis</dim:field>
   <dim:field mdschema="dc" element="format" qualifier="mimetype">application/pdf</dim:field>
   <dim:field mdschema="mit" element="thesis" qualifier="degree">Master</dim:field>
   <dim:field mdschema="thesis" element="degree" qualifier="name">Master of Engineering in Electrical Engineering and Computer Science</dim:field>
   <dim:field mdschema="dspace" element="entity" qualifier="type">Publication</dim:field>
   <dim:field mdschema="others" element="access-status">unknown</dim:field>
   <dim:field mdschema="others" element="access-status">unknown</dim:field>
   <dim:field mdschema="cerif" element="openaire" authority="" confidence="-1">&lt;Publication xmlns="https://www.openaire.eu/cerif-profile/1.1/" id="ad24ad7f-c95a-496f-a5a7-677b235edd92">
	&lt;Type xmlns="https://www.openaire.eu/cerif-profile/vocab/COAR_Publication_Types">http://purl.org/coar/resource_type/c_1843&lt;/Type>
   	&lt;Title>Voter Registration: A Security and Cryptography Perspective&lt;/Title>
   	&lt;PublishedIn>
    	&lt;Publication>
      	&lt;/Publication>
   	&lt;/PublishedIn>
   	&lt;PublicationDate>2022-05&lt;/PublicationDate>
   	&lt;Authors>
      	&lt;Author>
        	&lt;DisplayName>Gerbaud, Andrés Fábrega&lt;/DisplayName>
         	&lt;Affiliation>
         		&lt;OrgUnit>
         		&lt;/OrgUnit>
         	&lt;/Affiliation>
      	&lt;/Author>
	&lt;/Authors>
   	&lt;Editors>
	&lt;/Editors>
    &lt;Publishers>
        &lt;Publisher>
            &lt;DisplayName>Massachusetts Institute of Technology&lt;/DisplayName>
            &lt;OrgUnit />
        &lt;/Publisher>
    &lt;/Publishers>
    &lt;License>http://rightsstatements.org/page/InC-EDU/1.0/&lt;/License>
   	&lt;Abstract>Security and transparency of voter registration systems are crucial properties that any electoral system must satisfy: without robust guarantees on the underlying voter data, trust in election results—and the system as a whole—is severely impacted.&#xd;
&#xd;
In this thesis, we study two fundamental problems related to the security of voter registration. First, we formalize voter registration systems by providing a set of high-level definitions that characterize these systems in a general sense. To our knowledge, this is the first formal treatment of this sub-field of election security, which is (surprisingly) often neglected by the academic community. By abstracting away low-level implementation details, our work provides a clearer understanding of these complex systems; furthermore, it lays the formal groundwork and definitions which are useful to design secure technical protocols. Thus, we hope to pave the way for more research in this area.&#xd;
&#xd;
Secondly, we give a brief overview of an ongoing work-in-progress consisting of a new design for voter registration systems with stronger transparency guarantees, where voters are able to independently verify that their data has not been tampered with, even in the presence of untrusted election officials. We hope that our eventual system increases voter confidence in the electoral system, and helps detect (and, thus, mitigate) attacks that target voter registration databases.&lt;/Abstract>
	&lt;Access xmlns="http://purl.org/coar/access_right" 
    >
    &lt;/Access>
&lt;/Publication>
</dim:field>
</dim:dim>
</metadata></record></GetRecord></OAI-PMH>