Charlie Jacomme
Charlie Jacomme
Home
Open Positions
Teaching
Non Academic Materials
Contact
Light
Dark
Automatic
Aurora Naska
Latest
Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations
Cite
×