Costa, P., & 		Bonifácio, R.
(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>, (pp. 196-205). Porto Alegre: SBC.
doi:10.5753/sbseg_estendido.2026.33679