Modeling the Block Verification Time of Zcash.

Fabian Stiehle Erik Daniel Florian Tschorsch

Published in: EuroS&P Workshops (2021)

Keyphrases

model checking
modeling framework
real time
e learning
face verification
formal analysis
database
neural network
machine learning
website
web services
formal verification