VeriSafe Agent: Safeguarding Mobile GUI Agent via Logic-based Action Verification.

Jungjae Lee, Dongjae Lee, Chihun Choi, Youngmin Im, Jaeyoung Wi, Kihong Heo, Sangeun Oh, Sunjae Lee, Insik Shin

Browse the full MOBICOM paper archive.