Verification Code Forwarding Attack (Short Paper).

Hossein Siadati Toan Nguyen Nasir D. Memon

Published in: PASSWORDS (2015)

Keyphrases

source code
symbolic execution
model checking
overlay network
formal verification
sensor networks
formal methods
signature verification
java card
traffic engineering
detection mechanism