Francesco Noseda

According to our database, Francesco Noseda authored at least 3 papers between 2012 and 2025.

Collaborative distances:

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

2025

ProofCompass: Enhancing Specialized Provers with LLM Guidance.

Nicolas Wischermann, Claudio Mayrink Verdun, Gabriel Poesia, Francesco Noseda

CoRR, July, 2025

2023

Evaluating the Robustness of Automotive Intrusion Detection Systems Against Evasion Attacks.

Stefano Longari, Francesco Noseda, Michele Carminati, Stefano Zanero

Proceedings of the Cyber Security, Cryptology, and Machine Learning, 2023

2012

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