Login / Signup

POSTER: Finding Vulnerabilities in P4 Programs with Assertion-based Verification.

Lucas FreireMiguel C. NevesAlberto E. Schaeffer FilhoMarinho P. Barcellos
Published in: CCS (2017)
Keyphrases
  • symbolic execution
  • data sets
  • decision trees
  • learning algorithm
  • security issues
  • programming environment
  • asynchronous circuits
  • database
  • information security
  • countermeasures
  • face verification
  • hardware designs