Cryptography
Private Access Control for Function Secret Sharing
Authors
Sacha Servan-Schreiber, Simon Beyzerov, Eli Yablon, Hyojae Park
Publications/Talks
IEEE Symposium on Security and Privacy (Oakland) 2023 (to appear), AMS-PME at the Joint Mathematics Meeting (JMM 2023)
About
In function secret sharing (FSS) a dealer can privately outsource some function f to a set of evaluators. These evaluators can evaluate the function on some input x without learning the result of the computation f(x). We introduce the notion of private access control for function secret sharing, whereby we restrict the dealer to only be able to secret-share a function that they have been granted access to, all while maintaining privacy. Written in conjunction with MIT PRIMES. Cryptography paper developing distributed zero knowledge proof protocols towards access control for secret-shared functions.
Cloak: A Versatile Framework for Anonymous Authentication
Authors
Sacha Servan-Schreiber, Simon Beyzerov, Eli Yablon
About
Many online resources are pay-walled or otherwise restricted to the public. To access these resources, users need to prove access privileges through an authentication mechanism. For example, news websites such as the New York Times (NYT) offer news articles exclusively to paid subscribers. To access NYT articles, users provide the NYT website with an email and password associated with an active subscription (users to the NYT). What if users want to preserve their privacy and not reveal which articles they consume? An anonymous authentication mechanism can solve this problem. We introduce a novel zero-knowledge proof protocol towards the development of a framework for anonymous authentication. Written in conjunction with MIT PRIMES. Cryptography paper developing privacy preserving authentication through secret-shared zero-knowledge proof protocols.
Authenticated Metadata-hiding Anonymous Communication
Authors
Simon Beyzerov
About
Paired with the rise of consumer data analytics, the continued transition of interpersonal communication onto the Internet has made privacy an increasingly important requirement in many network systems. Although attempts by services such as WhatsApp, iMessage, and Facebook Messenger to employ methods of end-to-end encryption have succeeded in securing message content, leaked metadata has exposed the power of underlying communication data. In this work, we present a set of lightweight constructions for anonymous communication with cryptographic privacy guarantees for users. Independent research paper exploring how anonymous authentication techniques can be used to improve the current state of the art in anonymous communication systems with cryptographic privacy guarantees.
Authenticated Single-Server Private Aggregation
Authors
Sacha Servan-Schreiber, Mayuri Sridhar, Simon Beyzerov
About
(Still in the works!)
Seed-Homomorphic Pseudorandom Generators from Learning with Errors / Multi-Server Distributed Point Functions
Authors
About
(Still in the works!)
Moderately Hard Functions
Authors
About
(Still in the works!)
Mathematics
IMMC 2022
About
Mathematical modeling paper written during a the 2022 International Mathematical Modeling Competition (IMMC). Modeled planar loading and disembarking while optimizing both processes in a diverse set of aircrafts.
HiMCM 2022
About
Mathematical modeling paper written during the 2022-23 High School Mathematical Contest in Modeling (HiMCM). Modeled the causes and impact of colony collapse disorder on honeybee populations. (currently in the process of submission)
HiMCM 2021
About
Mathematical modeling paper written during the 2021-22 High School Mathematical Contest in Modeling (HiMCM). Modeled the causes, future outlook, and potential consequences of rapidly depleting water levels at Lake Mead, Nevada, the nations largest freshwater reservoir.
MathWorks 2022
About
Mathematical modeling paper written during the 2022 MathWorks Mathematical Modeling Competition. Modeled changes in employment caused by a pandemic-induced virtual workplace. Considered future outlook, causes, and conducted a broader mathematical and social analysis.
Coding and more
SigmaML
Mealgo: Recipe Filtering
About
Android application designed to provide intelligent meal and recipe recommendation that considers both pricing and individual user preferences. Developed with a tailored dataset of over 500,000 recipes and thousands of unique ingredients, all with their respective nutritional information. Developed in Kotlin.
NaVi: Aid for Independent Navigation for the Visually Impaired
About
Designed a physical aid for the independent navigation of public spaces for those with visual impairments. Designed software for automated guidance and designed a haptic device to aid those attempting to navigate through unadapted environments. Allows for independent parties to deploy schematics that aid individuals in the respective space.