Published February 13, 2024 | Version 0.0.1
Software Open

uvdsl/ssi-protocol-verify: Submission for WebConf 2024

Authors/Creators

  • 1. ROR icon Karlsruhe Institute of Technology
  • 2. ROR icon University of Strathclyde
  • 3. ROR icon University of Luxembourg

Description

This release is the artifact associated with our research paper by Christoph H.-J. Braun, Ross Horne, Tobias Käfer, and Sjouke Mauw.

Files

uvdsl/ssi-protocol-verify-0.0.1.zip

Files (992.3 kB)

Name Size Download all
md5:f06d5eefd2917387d40f9f94e4ffb79d
992.3 kB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/uvdsl/ssi-protocol-verify/tree/0.0.1 (URL)
Conference paper: 10.1145/3589334.3645426 (DOI)