Alessandro Minisinihome

Papers

Newest first

Generated from DBLP at every build, together with work that DBLP does not list yet. A preprint and its published version share one entry. See also the papers grouped by theme.

2026

  • Non-deterministic Width of Regular Languages: the Unary CaseGiovanna D'Agostino, Alessandro Minisini, Alberto PolicritiICTCS 2026 · pdf

2024

  • CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability DetectionCristian Curaba, Denis D'Ambrosi, Alessandro Minisini, Natalia Pérez-Campanero AntolínCoRR 2024 · pdf · arXiv