Login / Signup

Black Ninjas in the Dark: Formal Analysis of Population Protocols.

Michael BlondinJavier EsparzaStefan JaaxAntonín Kucera
Published in: LICS (2018)
Keyphrases
  • formal analysis
  • payment protocol
  • formal methods
  • database
  • population size
  • cryptographic protocols
  • communication protocols
  • ban logic
  • machine learning
  • wireless sensor networks
  • similarity search
  • agent model