Login / Signup
Galápagos: Developing Verified Low Level Cryptography on Heterogeneous Hardwares.
Yi Zhou
Sydney Gibson
Sarah Cai
Menucha Winchell
Bryan Parno
Published in:
CCS (2023)
Keyphrases
</>
low level
high level
higher level
cellular automata
visual information
real world
website
low level features
visual cues
real time
information systems
case study
multiscale
lower level
semantic concepts
mid level