Costa, P., & 		Bonifácio, R.
2026 set  1.  RV4ANDROID: An End-to-End Pipeline for Runtime Verification of Cryptographic API Specifications on Contemporary Android Applications. Anais Estendidos do Simpósio Brasileiro de Cibersegurança (SBSeg). [Online] :