Shooting to the Stars: Secure Location Verification via Meteor Burst Communications.

Savio Sciancalepore Gabriele Oligeri Roberto Di Pietro

Published in: CNS (2018)

Keyphrases

cryptographic protocols
group communication
integrity verification
model checking

high security
data sets
standard model
formal verification

image processing
location based services
location information
face verification

sensitive data
security level
identity management
asynchronous circuits