Lina Marsso (Univ. Grenoble Alpes

Identifiers

No identifiers captured yet.

Papers (1)

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