Verification of Immediate Observation Population Protocols.

Javier Esparza Pierre Ganty Rupak Majumdar Chana Weil-Kennedy

Published in: CONCUR (2018)

Keyphrases

cryptographic protocols
protocol specification
model checking
formal verification
face verification
cultural algorithms
artificial intelligence
information systems
population size
asynchronous circuits
voting protocols
real time
demographic data
multimodal biometrics
pairwise
case study
data sets