Important: Registration is free but mandatory. Registration deadline: May 03, 2023, 11:59 PM.

May 05, 2023 (Friday) at 277 Park Avenue, New York, NY, 10017.


09:30 – 10:00. Introduction/Coffee
10:00 – 10:50. Mariana Raykova (Google)
A Cryptographic Perspective on Federated Learning
11:00 – 11:50. Victor Shoup (DFINITY)
What is the Internet Computer?
12:00 – 02:00. Lunch (catered)
02:00 – 02:50. Julia Len (Cornell Tech)
Interoperability in End-to-End Encrypted Messaging
03:00 – 03:50. Chris Peikert (University of Michigan)
State Proofs

Registration Very important: Link

Registration is free but mandatory.
Registration deadline: May 03, 2023, 23:59 (ET).
Only registered participants will be allowed to enter.


Address: 277 Park Avenue, New York, NY, 10017.

Visitors need to be accompanied to the room. Please arrive in advance.

[Directions] [Google Maps]


Fabrice Benhamouda (Algorand Foundation)
Nicholas Genise (Duality Technologies)
Tal Rabin (UPenn)
with the help and support of Antigoni Polychroniadou (JP Morgan AI Research and AlgoCRYPT CoE).


NY CryptoDay is sponsored by Google.



  • A Cryptographic Perspective on Federated Learning / Mariana Raykova (Google)

    This talk will overview cryptographic mechanisms for secure aggregation which is a functionality that underlies federated learning (FL) constructions. We will cover the threat model, protocols and efficiency characteristics. We will discuss the sparse and dense settings for aggregation and the distributed shuffle functionality they imply.

    While user privacy is the focus of many FL constructions, data poisoning can be a significant issue for the utility of the output. Input verifiability is one approach for protection. We will overview zero-knowledge techniques for input norm bounding and how they integrate with secure aggregation.

  • What is the Internet Computer? / Victor Shoup (DFINITY)

    The Internet Computer is a blockchain that executes smart contracts, which provides a practical tradeoff between scalability and decentralization. In this talk, I will give an overview of the architecture of the Internet Computer, including its novel application of threshold cryptography.

  • Interoperability in End-to-End Encrypted Messaging / Julia Len (Cornell Tech)

    The Digital Markets Act (DMA) is a nascent European Union regulation adopted in May 2022. One of its most controversial provisions is a requirement that so-called “gatekeepers” offering end-to-end encrypted messaging apps, such as WhatsApp, implement “interoperability” with other messaging apps: in essence, encrypted messaging across service providers. This requirement represents a fundamental shift in the design assumptions of existing encrypted messaging systems, most of which are designed to be centralized. Technologists have not really begun thinking about the myriad security, privacy, and functionality questions raised by the interoperability requirement; given that the DMA’s interoperability mandate may take effect as soon as mid-2024, it is critical for researchers to begin understanding the challenges and offering solutions.

    In this paper, we take an initial step in this direction. We break down the DMA’s effects on the design of encrypted messaging systems into three main areas: identity, or how to resolve identities across service providers; protocols, or how to establish a secure connection between clients on different platforms; and abuse prevention, or how service providers can detect and take action against users engaging in abuse or spam. For each area, we identify key security and privacy requirements, summarize existing proposals, and examine whether proposals meet our security and privacy requirements. Finally, we propose our own design for an interoperable encrypted messaging system, and point out open problems.

  • State Proofs / Chris Peikert (University of Michigan)


%d bloggers like this: