Linked Presentation: Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to ConversationsFormal Analysis of SPDM: Security Protocol and Data Model version 1.2
