Login / Signup

Analysis of the Data Flow in the Newscast Protocol for Possible Vulnerabilities.

Jakub MuszynskiSébastien VarretteJuan Luis Jiménez LaredoPascal Bouvry
Published in: CSS (2014)
Keyphrases
  • data flow
  • database machine
  • lightweight
  • control flow
  • signal processing
  • formal analysis