Login / Signup

Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection.

Alexa VanHattumMonica PardeshiChris FallinAdrian SampsonFraser Brown
Published in: ASPLOS (1) (2024)
Keyphrases
  • lightweight
  • multimedia
  • wireless sensor networks
  • model checking
  • dos attacks
  • development environments
  • communication infrastructure
  • signature verification