Lucas C. Cordeiro

Study reveals vulnerabilities in code produced by large language models.

This report discusses methods to enhance memory safety in AI neural networks.

This study examines how interval analysis improves the effectiveness of Bounded Model Checking.

ESBMC-Python helps verify Python code correctness using type annotations and bounded model checking.

A new approach enhances Federated Learning by generating synthetic data while protecting privacy.