Showing 1 - 1 results of 1 for search 'Thet Wai Mon', query time: 0.02s Refine Results
  1. 1
    Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores

    Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores by Duong Dinh Tran, Thet Wai Mon, Kazuhiro Ogata

    Published 2023-03-01
    Get full text
    Article

Search Tools: