Implementation of Formal Semantics and the Potential of Non-Classical Logic Systems for the Enhancement of Access Control Models: A Literature Review. - Alvin Tang 002 (CoRR, 2023)

Automated SELinux RBAC Policy Verification Using SMT. - Divyam Pahuja; Alvin Tang 002; Klim Tsoutsman (CoRR, 2023)

A Coinductive Representation of Computable Functions. - Alvin Tang 002; Dirk Pattinson (CALCO, 2025)