Edit Profile (opens in new tab) Modesti, Paolo Co-Author Distance Author ID: modesti.paolo Published as: Modesti, Paolo Documents Indexed: 1 Publication since 2015 Co-Authors: 3 Co-Authors with 1 Joint Publication 62 Co-Co-Authors Co-Authors 0 single-authored 1 Almousa, Omar 1 Mödersheim, Sebastian Alexander 1 Viganò, Luca Serials Fields 1 Computer science (68-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year Citations contained in zbMATH Open 1 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼ Typing and compositionality for security protocols: a generalization to the geometric fragment. Zbl 1499.68043 Almousa, Omar; Mödersheim, Sebastian; Modesti, Paolo; Viganò, Luca 1 2015 Typing and compositionality for security protocols: a generalization to the geometric fragment. Zbl 1499.68043 Almousa, Omar; Mödersheim, Sebastian; Modesti, Paolo; Viganò, Luca 1 2015 Cited by 3 Authors 1 Brucker, Achim D. 1 Hess, Andreas V. 1 Mödersheim, Sebastian Alexander Cited in 0 Serials Cited in 2 Fields 1 Computer science (68-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year