collaborators

5 papers

cs.CR2026

Security-First Evaluation of Text-to-Terraform: Benchmarking LLMs and SLMs for Secure IaC Generation

Francis Luis Santos Vargas, Rodrigo Brandão Mansilha, Rodrigo Brandão Mansilha +1

Cloud misconfiguration remains a leading cause of security incidents, yet whether LLMs and SLMs can generate security-compliant Infrastructure-as-Code is an open question. We bench…

cs.NI2026

A Reproducible Semantic Benchmark for Multivendor DSM-to-CLI Translation

Jerônimo Menezes, Leonardo Bitzki, Diego Kreutz +3

Translating high-level network intents into correct multivendor configurations remains a central challenge in network automation, as syntactically valid outputs may still violate t…

cs.CR2025

Synthetic Data: AI's New Weapon Against Android Malware

Angelo Gaspar Diniz Nogueira, Kayua Oleques Paim, Hendrio Bragança +2

The ever-increasing number of Android devices and the accelerated evolution of malware, reaching over 35 million samples by 2024, highlight the critical importance of effective det…

cs.AI2025

Reducing Instability in Synthetic Data Evaluation with a Super-Metric in MalDataGen

Anna Luiza Gomes da Silva, Diego Kreutz, Angelo Diniz +2

Evaluating the quality of synthetic data remains a persistent challenge in the Android malware domain due to instability and the lack of standardization among existing metrics. Thi…

cs.CR2025

Assessing the Impact of Post-Quantum Digital Signature Algorithms on Blockchains

Alison Gonçalves Schemitt, Henrique Fan da Silva, Roben Castagna Lunardi +3

The advent of quantum computing threatens the security of traditional encryption algorithms, motivating the development of post-quantum cryptography (PQC). In 2024, the National In…