2021 · 22 citations · 22 references
ComputingComputer ScienceCybersecurityComputer SecurityCryptographySecurity ProtocolsCryptographic ArchitectureCryptographic Protocol DesignCryptographic ProtocolsData ProtectionData SecurityData Security ArchitectureEncryptionEncryption ProtocolsFormal Methods For SecurityFormal Security VerificationGun Control PolicyRegistration Data CaptureRegistration Data CollectionVoluntary Registration
Gun violence results in a significant number of deaths in the United States. Starting in the 1960’s, the US Congress passed a series of gun control laws to regulate the sale and use of firearms. One of the most important but politically fraught gun control measures is a national gun registry. A US Senate office is currently drafting legislation that proposes the creation of a voluntary national gun registration system. At a high level, the bill envisions a decentralized system where local county officials would control and manage the registration data of their constituents. These local databases could then be queried by other officials and law enforcement to trace guns. Due to the sensitive nature of this data, however, these databases should guarantee the confidentiality of the data.In this work, we translate the high-level vision of the proposed legislation into technical requirements and design a crypto- graphic protocol that meets them. Roughly speaking, the protocol can be viewed as a decentralized system of locally-managed end-to-end encrypted databases. Our design relies on various cryptographic building blocks including structured encryption, secure multi-party computation and secret sharing. We propose a formal security definition and prove that our design meets it. We implemented our protocol and evaluated its performance empirically at the scale it would have to run if it were deployed in the United States. Our results show that a decentralized and end-to-end encrypted national gun registry is not only possible in theory but feasible in practice.
22
Adi Shamir · Communications of the ACM · 1979 · 13.5K citations · Full text
How to generate and exchange secrets
Andrew Chi-Chih Yao · 1986 · 3.7K citations
Oded Goldreich, Silvio Micali, Avi Wigderson · 1987 · 3.5K citations
Universally composable security: a new paradigm for cryptographic protocols
Ran Canetti · 2001 · 3.3K citations
Protocols for secure computations
Andrew Chi-Chih Yao · 1982 · 3K citations