SSI, from Specifications to Protocol? Formally Verify Security!

Christoph H.-J. Braun, Ross Horne, Tobias Kfer, Sjouke Mauw

Browse the full WWW paper archive.