Sign in

Position paper: Sapper - a language for provable hardware policy enforcement.

Xun LiVineeth KashyapJason K. ObergMohit TiwariVasanth Ram RajarathinamRyan KastnerTimothy SherwoodBen HardekopfFrederic T. Chong
Published in: PLAS (2013)
Keyphrases
  • policy enforcement
  • low cost
  • real time
  • programming language
  • access control
  • natural language
  • computer systems
  • enterprise network
  • neural network
  • information systems
  • response time
  • lightweight
  • hardware implementation