Lightweight Support for Magic Wands in an Automatic Verifier.

Malte Schwerhoff Alexander J. Summers

Published in: ECOOP (2015)

Keyphrases

lightweight
development environments
fully automatic
dos attacks
semi automatic
rfid tags
communication infrastructure