Menucha Winchell

According to our database, Menucha Winchell authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Galápagos: Developing Verified Low Level Cryptography on Heterogeneous Hardwares.

Yi Zhou, Sydney Gibson, Sarah Cai, Menucha Winchell, Bryan Parno

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023