Cosimo Perini Brogi

According to our database, Cosimo Perini Brogi authored at least 24 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Cutting Out the Middle Man: A Game-Theoretic Analysis in Computability Logic of the Needham-Schroeder Protocol.

Cosimo Perini Brogi, Stella Spadoni

Proceedings of the Joint National Conference on Cybersecurity (ITASEC & SERICS 2026), 2026

A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light.

Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi

Proceedings of the 34th EACSL Annual Conference on Computer Science Logic, 2026

2025

Bridging higher-order logic and efficient computations for a rigorous analysis of idealised pathfinding ants.

Cosimo Perini Brogi, Marco Maggesi

Int. J. Softw. Tools Technol. Transf., December, 2025

Modular Sequent Calculi for interpretability Logics.

Cosimo Perini Brogi, Sara Negri, Nicola Olivetti

Rev. Symb. Log., 2025

Reasoning on Privacy Policies.

Yilian Huang, Cosimo Perini Brogi, Rocco De Nicola

Proceedings of the Short Paper Proceedings of the 7th International Workshop on Artificial Intelligence and Formal Verification, 2025

From Applicative Programming to Verification-based Knowledge: A Curry-Howard-Lambek Reading.

Cosimo Perini Brogi

Proceedings of the Short Paper Proceedings of the 7th International Workshop on Artificial Intelligence and Formal Verification, 2025

A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS.

Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi

Proceedings of the 26th Italian Conference on Theoretical Computer Science, 2025

Displayed Universal Algebra in UniMath: Basic Definitions and Results.

Gianluca Amato, Matteo Calosci, Marco Maggesi, Cosimo Perini Brogi

Proceedings of the 26th Italian Conference on Theoretical Computer Science, 2025

2024

Universal algebra in UniMath.

Gianluca Amato, Matteo Calosci, Marco Maggesi, Cosimo Perini Brogi

Math. Struct. Comput. Sci., 2024

Growing HOLMS, a HOL Light Library for Modal Systems.

Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi, Leonardo Quartini

Proceedings of the Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, 2024

Toward dynamic epistemic verification of zero-knowledge protocols.

Gabriele Costa, Cosimo Perini Brogi

Proceedings of the 8th Italian Conference on Cyber Security (ITASEC 2024), 2024

Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic.

Marco Maggesi, Cosimo Perini Brogi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024

Systems Security Modeling and Analysis at IMT Lucca.

Gabriele Costa, Silvia de Francisci, Letterio Galletta, Cosimo Perini Brogi, Marinella Petrocchi, Fabio Pinelli, Roberto Pizziol, Manuel Pratelli, Margherita Renieri, Simone Soderi, Mirco Tribastone, Serenella Valiani

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

Analysing Collective Adaptive Systems by Proving Theorems.

Cosimo Perini Brogi, Marco Maggesi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

Simpson's Proof Systems for Process Verification: A Fine-tuning (short paper).

Cosimo Perini Brogi, Rocco De Nicola, Omar Inverso

Proceedings of the 25th Italian Conference on Theoretical Computer Science, 2024

Machine Translation: Early Criticisms Revisited.

Stefania Centrone, Cosimo Perini Brogi, Stefan Reifberger

Proceedings of the 2024 Conference on Human Centred Artificial Intelligence, 2024

2023

Mechanising Gödel-Löb Provability Logic in HOL Light.

Marco Maggesi, Cosimo Perini Brogi

J. Autom. Reason., September, 2023

2022

Investigations of proof theory and automated reasoning for non-classical logics.

Cosimo Perini Brogi

PhD thesis, 2022

A theorem prover and countermodel constructor for provability logic in HOL Light.

Marco Maggesi, Cosimo Perini Brogi

CoRR, 2022

2021

Curry-Howard-Lambek Correspondence for Intuitionistic Belief.

Cosimo Perini Brogi

Stud Logica, 2021

Natural deduction for intuitionistic belief: proof theory and proof-theoretic semantics.

Cosimo Perini Brogi

CoRR, 2021

Universal Algebra in UniMath.

Gianluca Amato, Marco Maggesi, Cosimo Perini Brogi

CoRR, 2021

A Formal Proof of Modal Completeness for Provability Logic.

Marco Maggesi, Cosimo Perini Brogi

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2020

Universal Algebra in UniMath.

Gianluca Amato, Marco Maggesi, Maurizio Parton, Cosimo Perini Brogi

CoRR, 2020