authenticated data structures as functors in isabelle/hol, andreas lochbihler and ognjen maric Published 4 years ago • 81 plays • Length 22:23 Download video MP4 Download video MP3 Similar videos 59:07 authenticated data structures for stateless validation and transparency logs - alin tomescu
