SSI, from Specifications to Protocol? Formally Verify Security!
Conference proceeding (May 2024)
The most recent citing publications are shown below. View all 7 publications that cite this research output on Dimensions.
Conference proceeding (May 2024)
Book chapter (July 2023)
Conference proceeding (April 2023)