Lightweight Verification of Hyperproperties.

Oyendrila Dobe Stefan Schupp Ezio Bartocci Borzoo Bonakdarpour Axel Legay Miroslav Pajic Yu Wang

Published in: ATVA (2023)

Keyphrases

lightweight
model checking
wireless sensor networks
dos attacks
verification method
signature verification
formal verification
low cost
communication infrastructure