Mostrando 1 - 3 resultados de 3 para a busca 'Garratt, L', tempo de busca: 0.02s Refinar Resultados
  1. 1
    Realistic, strong and provable key exchange security

    Realistic, strong and provable key exchange security por Garratt, L

    Publicado em 2018
    Tese
  2. 2
    On post-compromise security

    On post-compromise security por Cohn-Gordon, K, Cremers, C, Garratt, L

    Publicado em 2016
    Conference item
  3. 3
    A formal analysis of the signal messaging protocol

    A formal analysis of the signal messaging protocol por Cohn-Gordon, K, Cremers, C, Dowling, B, Garratt, L, Stebila, D

    Publicado em 2017
    Conference item

Ferramentas de busca: