Second Case Study: The Hermes Protocol

Aziz, Benjamin and Aziz, Benjamin (2022) Second Case Study: The Hermes Protocol. Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols. pp. 77-85.

Full text not available from this repository.

Item Type:	Article
Depositing User:	RED Unit Admin
Date Deposited:	18 Dec 2023 11:53
Last Modified:	18 Dec 2023 11:53
URI:	https://bnu.repository.guildhe.ac.uk/id/eprint/18976

Actions (login required)

Edit Item