3 citations
- D. S. Menasché2 · h 1
- Eduardo Santana de Almeida2 profiles2 · h 3
- Felipe de Sant'Anna Paixão2 · h 1
- Joanna C. S. Santos2 · h 7
- Paulo Anselmo da Mota Silveira Neto2 · h 16
- Anton Kocheturov1 · h 6
- A. S. Bibiano-Filho1 · h 1
- C. Banjar1 · h 1
- Claudio Segal1 · h 1
- D. Almeida1 · h 2
- G. Figueiredo1 · h 3
- G. Srivastava1 · h 2
- Universidade Federal da BahiaBR2 papers
- Universidade Federal do Rio de JaneiroBR2 papers
- University of Notre DameUS2 papers
- Siemens (United States)US1 paper
- Universidade do Estado do Rio de JaneiroBR1 paper
- Universidade Federal de Mato Grosso do SulBR1 paper
- Universidade Federal de PernambucoBR1 paper
- Universidade Federal FluminenseBR1 paper
- Universidade SalvadorBR1 paper
3 papers
cond-mat.str-el2026★ 3 cited
Mixed-spin Heisenberg ladders in a magnetic field
D. S. Almeida, A. S. Bibiano, W. M. da Silva +1
In this work, we study alternating mixed-spin Heisenberg ladders in the magnetic field using density matrix renormalization group and linear spin-wave calculations. The…
cs.SE2026
Automated Detection of Configuration-Specific Security Vulnerabilities via Patch Analysis
Felipe de Sant'Anna Paixão, Joanna C. S. Santos, Paulo Anselmo da Mota Silveira Neto +3
We study how security patches in highly configurable C/C++ systems map onto the space of compile-time variants. We formalize the Vulnerability Impact Condition (VIC) - a Boolean pr…
cs.CR2026
Characterizing and Modeling the GitHub Security Advisories Review Pipeline
Claudio Segal, Paulo Segal, Carlos Eduardo Banjar +8
GitHub Security Advisories (GHSA) have become a central component of open-source vulnerability disclosure and are widely used by developers and security tools. A distinctive featur…