WWW 2024Oral
SSI, from Specifications to Protocol? Formally verify security!
Authors: Christoph H.-J. Braun, Ross Horne, Tobias Käfer, Sjouke Mauw
Abstract
No abstract is available for this paper.
Authors: Christoph H.-J. Braun, Ross Horne, Tobias Käfer, Sjouke Mauw
Abstract
No abstract is available for this paper.