Costa, Pedro Henrique, and Rodrigo Bonifácio.
" RV4ANDROID: An End-to-End Pipeline for Runtime Verification of Cryptographic API Specifications on Contemporary Android Applications." <em>Anais Estendidos do XXVI Simpósio Brasileiro de Cibersegurança,
Armação dos Búzios/RJ, 2026</em>. SBC, 2026,  
pp.196-205.