Sign in

Mechanised Models and Proofs for Distance-Bounding.

Ioana BoureanuConstantin Catalin DraganFrançois DupressoirDavid GéraultPascal Lafourcade
Published in: CSF (2021)
Keyphrases
  • probabilistic model
  • machine learning
  • statistical models
  • database
  • databases
  • neural network
  • decision making
  • feature vectors
  • model selection
  • machine learning algorithms