Sec.Today
(beta)
Pulses
Apps
Humans
Events
About
Sign in
Events
ACM CCS 2018
BitML: a calculus for Bitcoin smart contracts
Star
0
Share