OZ
Osama Zafar
cs.CRcs.LGcs.AIcs.CLcs.CYcs.DCcs.LO
On Valency
published · living versionsW_mmefdpxh·v1 · currentpublished
LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents
with Sreehari Sankar, Debargha Ganguly, Vikash Singh, Mohsen Hariri +15
1 version
Preprints & journals
12 papers in the corpus · 2024–2026Sequent-Prover: Training Agents for Formal, Checkable SMT-based Reasoning2610.15258v1 · Debargha Ganguly, Weicong Chen, Mohsen Hariri et al.2026 · 0 citationsarXiv
Auditing Cross-Lingual Fairness in Language Model Watermarking2608.20047v1 · Alexander Nemecek, Osama Zafar, Debargha Ganguly et al.2026 · 0 citationsarXiv
Beyond Detection: Evaluating Defensive LLMs Against AI-Generated Social Engineering in Live Turn-by-Turn Interaction2608.10239v1 · Yuqiao Xu, Osama Zafar, Alexander Nemecek et al.2026 · 0 citationsarXiv
Privacy Policy Enforcement Guardrails for Data-Sensitive Retrieval-Augmented Generation2605.17034v2 · Osama Zafar, Alexander Nemecek, Yiqian Zhang et al.2026 · 0 citationsarXiv
The End of Trust: How Agentic AI Breaks Security Assumptions2605.16436v2 · Osama Zafar, Alexander Nemecek, Erman Ayday2026 · 0 citationsarXiv
Reliability-Gated Source Anchoring for Continual Test-Time Adaptation2605.14063v2 · Vikash Singh, Debargha Ganguly, Weicong Chen et al.2026 · 0 citationsarXiv
Neighborhood Blending: A Lightweight Inference-Time Defense Against Membership Inference Attacks2602.12943v1 · Osama Zafar, Shaojie Zhan, Tianxi Ji et al.2026 · 0 citationsarXiv
Privacy-Preserving AI-Enabled Decentralized Learning and Employment Records System2601.02720v1 · Yuqiao Xu, Mina Namazi, Sahith Reddy Jalapally et al.2026 · 1 citationarXiv
Digital Agriculture Sandbox for Collaborative Research2511.15990v2 · Osama Zafar, Rosemarie Santa Gonz'alez, Alfonso Morales et al.2025 · 0 citationsarXiv
A User-Centric, Privacy-Preserving, and Verifiable Ecosystem for Personal Data Management and Utilization2506.22606v2 · Osama Zafar, Mina Namazi, Yuqiao Xu et al.2025 · 5 citationsarXiv
Empowering Digital Agriculture: A Privacy-Preserving Framework for Data Sharing and Collaborative Research2506.20872v1 · Osama Zafar, Rosemarie Santa Gonz'alez, Mina Namazi et al.2025 · 2 citationsarXiv
Privacy-Preserving Data Linkage Across Private and Public Datasets for Collaborative Agriculture Research2409.06069v1 · Osama Zafar, Rosemarie Santa Gonzalez, Gabriel Wilkins et al.2024 · 1 citationarXiv
Career total: 15 works. 12 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.