Costa, Pedro Henrique, E 		Bonifácio, Rodrigo.
" RV4ANDROID: An End-to-End Pipeline for Runtime Verification of Cryptographic API Specifications on Contemporary Android Applications" <em>Anais Estendidos do Simpósio Brasileiro de Cibersegurança (SBSeg)</em> [Online], (1 setembro 2026)