Showing 1 - 2 results of 2 for search 'Barthe, G', query time: 0.02s Refine Results
  1. 1
    Analysing Applications Layered on Unilaterally Authenticating Protocols.

    Analysing Applications Layered on Unilaterally Authenticating Protocols. by Gibson-Robinson, T, Lowe, G

    Published 2011
    Other Authors: “…Barthe, G…”
    Journal article
  2. 2
    Quantitative information flow with Monads in Haskell

    Quantitative information flow with Monads in Haskell by Gibbons, J, McIver, A, Morgan, C, Schrijvers, T

    Published 2020
    Other Authors: “…Barthe, G…”
    Book section

Search Tools: