Concepedia

Chiara Bodei

CB

22

Publications

608

Citations

14

H-Index

2001

Active since

Affiliations

University of Pisa(Current)

Technical University of Denmark

University of Sassari

University of Verona

Ca' Foscari University of Venice

Chiara Bodei is an author at University of Pisa specializing in engineering, data security, and formal methods.

Top concepts

EngineeringFormal MethodsData SecurityComputer ScienceFormal VerificationInformation SecurityCryptographyVerificationSoftware AnalysisAutomated Reasoning

Publications per year

2001–2023

22

Publications

22

Static validation of security protocols

Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano et al. · Journal of Computer Security · 2005 · 121 citations

Engineering, Information Security, Verification +23

Automatic validation of protocol narration

Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano et al. · 2004 · 95 citations

Engineering, Information Security, Verification +24

Static Analysis for the π-Calculus with Applications to Security

Chiara Bodei, Pierpaolo Degano, Flemming Nielson et al. · Information and Computation · 2001 · 86 citations

Cryptographic Primitive, Engineering, Program Analysis +8

Measuring security in IoT communications

Chiara Bodei, Stefano Chessa, Letterio Galletta · Theoretical Computer Science · 2018 · 30 citations · Full text

Iot Communications, Engineering, Information Security +8

Flow logic for Dolev–Yao secrecy in cryptographic processes

Chiara Bodei, Pierpaolo Degano, Flemming Nielson et al. · Future Generation Computer Systems · 2002 · 26 citations

Cryptographic Primitive, Engineering, Information Security +8

Rows per page

1–5 of 22