Sign in

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

Yi ZhouSydney GibsonSarah CaiMenucha WinchellBryan 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