Sign in

On Symbolic Verification of Bitcoin's script Language.

Rick KlompAndrea Bracciali
Published in: DPM/CBT@ESORICS (2018)
Keyphrases
  • script language
  • software platform
  • model checking
  • high level
  • machine learning
  • credit card
  • topic maps
  • symbolic representation
  • relational databases
  • context aware