Bases for Riemann-Roch Spaces of One-Point Divisors on an Optimal Tower of Function Fields. - Francesco Noseda; Gilvan Oliveira; Luciane Quoos (IEEE Trans. Inf. Theory, 2012)

Evaluating the Robustness of Automotive Intrusion Detection Systems Against Evasion Attacks. - Stefano Longari; Francesco Noseda; Michele Carminati; Stefano Zanero (CSCML, 2023)

ProofCompass: Enhancing Specialized Provers with LLM Guidance. - Nicolas Wischermann; Claudio Mayrink Verdun; Gabriel Poesia; Francesco Noseda (CoRR, 2025)