## 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.