Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment

Omar Almousa
, Sebastian Mödersheim
, Paolo Modesti
, Luca Viganò

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

181 Downloads (Pure)

1 results
- Last Name(descending)

Paolo Modesti
- P.Modestitees.acuk
- Centre for Digital Innovation
- Department of Computing & Games - Senior Lecturer in Cybersecurity
Person: Academic