• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

On the Formalisation of Σ-Protocols and Commitment Schemes.

David ButlerDavid AspinallAdrià Gascón
Published in: POST (2019)
Keyphrases
  • formal analysis
  • real time
  • databases
  • genetic algorithm
  • search engine
  • image segmentation
  • information technology
  • sensor networks
  • multi party
  • communication protocol