SSI, from Specifications to Protocol? Formally Verify Security!

@inproceedings{braun-2024-ssi, author = {Christoph H.-J. Braun and Ross Horne and Tobias K\"{a}fer and Sjouke Mauw}, editor = {Tat-Seng Chua and Chong-Wah Ngo and Ravi Kumar and Hady Wirawan Lauw and Roy Ka-Wei Lee}, title = {{SSI, from Specifications to Protocol? Formally Verify Security!}}, booktitle = {{Proceedings of the ACM on Web Conference 2024, WWW 2024, Singapore, May 13-17, 2024}}, pages = {1620--1631}, publisher = {ACM}, year = {2024}, url = {https://doi.org/10.1145/3589334.3645426}, doi = {https://doi.org/10.1145/3589334.3645426} }