Login / Signup

The Pitfalls of Protocol Design: Attempting to Write a Formally Verified PDF Parser.

Andreas BogkMarco Schopl
Published in: IEEE Symposium on Security and Privacy Workshops (2014)
Keyphrases
  • machine learning
  • engineering design
  • neural network
  • building blocks
  • design process
  • web services
  • case study
  • natural language
  • natural language processing
  • design patterns