Divyam Pahuja

Identifiers

• name variant Divyam Pahuja 0.60 · backfill

Papers (1)

1. Automated SELinux RBAC Policy Verification Using SMT cs.CR · 2023 · author #1

Mentions

• 2312.04586 #1 · arxiv_oai · confidence 0.70 Divyam Pahuja

Frequent Coauthors

• Alvin Tang 1 shared papers
• Klim Tsoutsman 1 shared papers