Login / Signup

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.

Carmine AbatePhilipp G. HaselwarterExequiel RivasAntoine Van MuylderThéo WinterhalterCatalin HritcuKenji MaillardBas Spitters
Published in: CSF (2021)
Keyphrases
  • modular structure
  • neural network
  • bayesian framework
  • framework enables
  • real time
  • computer vision
  • probabilistic model
  • lightweight