Ross Horne

2024

doi dblp

SSI, from Specifications to Protocol? Formally Verify Security!

Christoph H.-J. Braun|Ross Horne|Tobias Käfer|Sjouke Mauw

Proceedings of the ACM on Web Conference 2024, WWW 2024, Singapore, May 13-17, 2024