C. Bodei

Most-cited papers

Static validation of security protocols
C. Bodei, M. Buchholtz, P. Degano, F. Nielson +1 more
2005Journal of computing and security142 citations Open access
Semantic Scholar
Static Analysis for the pi-Calculus with Applications to Security
C. Bodei, P. Degano, F. Nielson, H. R. Nielson
2001Information and Computation94 citations Open access
Semantic Scholar
Static Analysis for Secrecy and Non-interference in Networks of Processes
C. Bodei, P. Degano, F. Nielson, H. R. Nielson
2001International Conference on Parallel Architectures and Compilation Techniques54 citations
Semantic Scholar
Safe Ambients: Control Flow Analysis and Security
P. Degano, Francesca Levi, C. Bodei
2000Asian Computing Science Conference54 citations
Semantic Scholar
Static Analysis of Processes for No and Read-Up nad No Write-Down
C. Bodei, P. Degano, F. Nielson, H. R. Nielson
1999Foundations of Software Science and Computation Structure37 citations Open access
Semantic Scholar
Language-Independent Synthesis of Firewall Policies
C. Bodei, P. Degano, Letterio Galletta, R. Focardi +2 more
2018European Symposium on Security and Privacy30 citations Open access
Semantic Scholar
Flow logic for Dolev-Yao secrecy in cryptographic processes
C. Bodei, P. Degano, F. Nielson, H. R. Nielson
2002Future generations computer systems28 citations
Semantic Scholar
Tracing where IoT data are collected and aggregated
C. Bodei, P. Degano, G. Ferrari, Letterio Galletta
2016Log. Methods Comput. Sci.25 citations Open access
Semantic Scholar
Where Do Your IoT Ingredients Come From?
C. Bodei, P. Degano, G. Ferrari, Letterio Galletta
2016International Conference on Coordination Models and Languages24 citations Open access
Semantic Scholar
Measuring security in IoT communications
C. Bodei, S. Chessa, Letterio Galletta
2019Theoretical Computer Science23 citations Open access
Semantic Scholar
Primitives for authentication in process algebras
C. Bodei, P. Degano, R. Focardi, C. Priami
2002Theoretical Computer Science20 citations Open access
Semantic Scholar
From Hardware-Functional to Software-Defined Vehicles and their Security Issues
C. Bodei, Marco De Vincenzi, I. Matteucci
2023International Conference on Industrial Informatics18 citations
Semantic Scholar
A Control Flow Analysis for Beta-binders with and without static compartments
C. Bodei
2009Theoretical Computer Science18 citations Open access
Semantic Scholar
Causal static analysis for Brane Calculi
C. Bodei, R. Gori, Francesca Levi
2015Theoretical Computer Science17 citations Open access
Semantic Scholar
Names of the -calculus agents handled locally
C. Bodei, P. Degano, C. Priami
2001Theoretical Computer Science17 citations Open access
Semantic Scholar
Authentication via localized names
C. Bodei, P. Degano, R. Focardi, C. Priami
1999Proceedings of the 12th IEEE Computer Security Foundations Workshop17 citations
Semantic Scholar
A Flat Process Calculus for Nested Membrane Interactions
C. Bodei, L. Brodo, R. Bruni, Davide Chiarugi
2014Scientific Annals of Computer Science16 citations Open access
Semantic Scholar
Open Multiparty Interaction
C. Bodei, L. Brodo, R. Bruni
2012Workshop on Recent Trends in Algebraic Development Techniques16 citations Open access
Semantic Scholar
A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols
Han Gao, C. Bodei, P. Degano, H. R. Nielson
2007Asian Computing Science Conference16 citations
Semantic Scholar
Control Flow Analysis Can Find New Flaws Too
C. Bodei, M. Buchholtz, P. Degano, F. Nielson +1 more
200416 citations
Semantic Scholar
An Analysis for Causal Properties of Membrane Interactions
C. Bodei, R. Gori, Francesca Levi
2013CS2Bio15 citations Open access
Semantic Scholar
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols
Han Gao, C. Bodei, P. Degano
2008International Conference on Algebraic Methodology and Software Technology15 citations
Semantic Scholar
Static Evidences for Attack Reconstruction
C. Bodei, L. Brodo, R. Focardi
2015Programming Languages with Applications to Biology and Security13 citations
Semantic Scholar
Detecting and preventing type flaws at static time
C. Bodei, L. Brodo, P. Degano, Han Gao
2010Journal of computing and security13 citations
Semantic Scholar
On deducing causality in metabolic networks
C. Bodei, A. Bracciali, Davide Chiarugi
2008BMC Bioinformatics13 citations Open access
Semantic Scholar
Techniques for Security Checking: Non-Interference vs Control Flow Analysis
C. Bodei, P. Degano, R. Focardi, R. Gorrieri +1 more
2002Joint Workshop on Theory of Security and Applications13 citations Open access
Semantic Scholar
Transcompiling Firewalls
C. Bodei, P. Degano, R. Focardi, Letterio Galletta +1 more
2018The post12 citations Open access
Semantic Scholar
A static analysis for Brane Calculi providing global occurrence counting information
C. Bodei, L. Brodo, R. Gori, Francesca Levi +2 more
2017Theoretical Computer Science12 citations Open access
Semantic Scholar
A Step Towards Checking Security in IoT
C. Bodei, P. Degano, G. Ferrari, Letterio Galletta
2016International Conference on Information and Computation Economies12 citations Open access
Semantic Scholar
A Formal Approach to Open Multiparty Interactions
C. Bodei, L. Brodo, R. Bruni
2018Theoretical Computer Science11 citations Open access
Semantic Scholar
Tracking Sensitive and Untrustworthy Data in IoT
C. Bodei, Letterio Galletta
2017Italian Conference on Cybersecurity11 citations
Semantic Scholar
Programming Languages with Applications to Biology and Security
C. Bodei, G. Ferrari, C. Priami
2015Lecture Notes in Computer Science11 citations
Semantic Scholar
Formalising Security in Ubiquitous and Cloud Scenarios
C. Bodei, P. Degano, G. Ferrari, Letterio Galletta +1 more
2012International Conference on Computer Information Systems and Industrial Management Applications11 citations Open access
Semantic Scholar
Security Analysis for Mobile Ambients
F.Levi Flevi, C. Bodei
200011 citations
Semantic Scholar
On Evaluating the Performance of Security Protocols
C. Bodei, M. Buchholtz, M. Curti, P. Degano +3 more
2005International Conference on Parallel Architectures and Compilation Techniques10 citations
Semantic Scholar
Performance Evaluation of Security Protocols Specified in LySa
C. Bodei, M. Curti, P. Degano, M. Buchholtz +3 more
2004QAPL10 citations Open access
Semantic Scholar
Context-aware security: Linguistic mechanisms and static analysis
C. Bodei, P. Degano, Letterio Galletta, Francesco Salvatori
2016Journal of computing and security9 citations Open access
Semantic Scholar
Linguistic Mechanisms for Context-Aware Security
C. Bodei, P. Degano, Letterio Galletta, Francesco Salvatori
2014International Colloquium on Theoretical Aspects of Computing9 citations
Semantic Scholar
Static Detection of Logic Flaws in Service-Oriented Applications
C. Bodei, L. Brodo, R. Bruni
2009ARSPA-WITS9 citations
Semantic Scholar
Checking security policies through an enhanced Control Flow Analysis
C. Bodei, P. Degano, C. Priami
2005Journal of computing and security9 citations Open access
Semantic Scholar
An enhanced CFA for security policies
C. Bodei, P. Degano, C. Priami, Nicola Zannone
20039 citations
Semantic Scholar
Security Analysis using Flow Logics
C. Bodei, P. Degano, F. Nielson, H. R. Nielson
2001Bull. EATCS9 citations
Semantic Scholar
Detecting and Preventing Type flaws: a Control Flow Analysis with Tags
C. Bodei, P. Degano, Han Gao, L. Brodo
2007SecCO@CONCUR8 citations Open access
Semantic Scholar
A Quantitative Study of Two Attacks
C. Bodei, M. Curti, P. Degano, C. Priami
2005WISP@ICATPN8 citations Open access
Semantic Scholar
FWS: Analyzing, maintaining and transcompiling firewalls
C. Bodei, L. Ceragioli, P. Degano, R. Focardi +4 more
2021Journal of computing and security7 citations
Semantic Scholar
Revealing the Trajectories of KLAIM Tuples, Statically
C. Bodei, P. Degano, G. Ferrari, Letterio Galletta
2019Models, Languages, and Tools for Concurrent and Distributed Programming7 citations
Semantic Scholar
Control Flow Analysis for Brane Calculi
C. Bodei, A. Bracciali, Davide Chiarugi
2008MeCBIC7 citations Open access
Semantic Scholar
Detecting Replay Attacks by Freshness Annotations
Gao Han, P.Degano Pdegano, C. Bodei, H. R. Nielson
20077 citations
Semantic Scholar
Tracking Data Trajectories in IoT
C. Bodei, Letterio Galletta
2019International Conference on Information Systems Security and Privacy6 citations Open access
Semantic Scholar
A Control Flow Analysis for Safe and Boxed Ambients
Francesca Levi, C. Bodei
2004European Symposium on Programming6 citations Open access
Semantic Scholar