Pedro Henrique Costa and Rodrigo Bonifácio. 2026.
 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>, setembro 01, 2026, Armação dos Búzios/RJ, Brasil. SBC, Porto Alegre, Brasil, 196-205. DOI: <a href="https://doi.org/10.5753/sbseg_estendido.2026.33679">https://doi.org/10.5753/sbseg_estendido.2026.33679</a>.