Login / Signup

Iris-Wasm: Robust and Modular Verification of WebAssembly Programs.

Xiaojia RaoAïna Linn GeorgesMaxime LegoupilConrad WattJean Pichon-PharabodPhilippa GardnerLars Birkedal
Published in: Proc. ACM Program. Lang. (2023)
Keyphrases
  • iris recognition
  • genetic algorithm
  • iris biometrics
  • databases
  • knowledge base
  • case study
  • database systems
  • expert systems
  • partial occlusion
  • symbolic execution
  • hardware designs