Showing 1 - 3 results of 3 for search 'Lina Marsso', query time: 0.06s Refine Results
  1. 1
    Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm
    by Hubert Garavel, Lina Marsso
    Published 2018-03-01
    Get full text
    Article
  2. 2
    A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm
    by Hubert Garavel, Lina Marsso
    Published 2017-03-01
    Get full text
    Article
  3. 3
    A Formal TLS Handshake Model in LNT
    by Josip Bozic, Lina Marsso, Radu Mateescu, Franz Wotawa
    Published 2018-03-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search