Login / Signup
Menucha Winchell
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Cellular Automata
Real World
Lower Level
Multiscale
Top Venues
CCS
</>
Publications
</>
Yi Zhou
,
Sydney Gibson
,
Sarah Cai
,
Menucha Winchell
,
Bryan Parno
Galápagos: Developing Verified Low Level Cryptography on Heterogeneous Hardwares.
CCS
(2023)