Lina Marsso (Univ. Grenoble Alpes
Identifiers
No identifiers captured yet.
Papers (1)
- A Formal TLS Handshake Model in LNT cs.CR · 2018 · author #4
Mentions
No mention provenance yet.
Frequent Coauthors
- 38000 Grenoble 1 shared papers
- Austria) 1 shared papers
- CNRS 1 shared papers
- France) 1 shared papers
- Franz Wotawa (Graz University of Technology - Institute of Software Technology 1 shared papers
- Graz 1 shared papers
- Grenoble INP 1 shared papers
- Inria 1 shared papers
- Josip Bozic (Graz University of Technology - Institute of Software Technology 1 shared papers
- LIG 1 shared papers
- Radu Mateescu (Univ. Grenoble Alpes 1 shared papers