Sign in

Lightweight Verification of Hyperproperties.

Oyendrila DobeStefan SchuppEzio BartocciBorzoo BonakdarpourAxel LegayMiroslav PajicYu Wang
Published in: ATVA (2023)
Keyphrases
  • lightweight
  • model checking
  • wireless sensor networks
  • dos attacks
  • verification method
  • signature verification
  • formal verification
  • low cost
  • communication infrastructure