P. Costa and R. Bonifácio.
" RV4ANDROID: An End-to-End Pipeline for Runtime Verification of Cryptographic API Specifications on Contemporary Android Applications", in <em>Anais Estendidos do XXVI Simpósio Brasileiro de Cibersegurança</em>, Armação dos Búzios/RJ, 2026, pp. 196-205, doi: <a href="https://doi.org/10.5753/sbseg_estendido.2026.33679">https://doi.org/10.5753/sbseg_estendido.2026.33679</a>.