VeriSafeAgent: Safeguarding Mobile GUI Agent via Logic-based Action Verification
Published in (To appear in MobiCom '25) The 31st ACM International Conference on Mobile Computing and Networking, 2025
Jungjae Lee,* Dongjae Lee,* Chihun Choi, Youngmin Im, Jaeyoung Wi, Kihong Heo, Sangeun Oh, Sunjae Lee,† and Insik Shin†
(*Co-first authors, †Co-corresponding authors)
In Proceedings of the 31th ACM International Conference on Mobile Computing and Networking (MobiCom 2025), Hong Kong, China, 2025
(Acceptance rate: ~10.3% / BK21 IF 4.0)