Alvin Tang

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 2

Top Topics

Fully Automated

Formal Semantics

Top Venues

Publications

Divyam Pahuja, Alvin Tang, Klim Tsoutsman
Automated SELinux RBAC Policy Verification Using SMT. CoRR (2023)
Alvin Tang
Implementation of Formal Semantics and the Potential of Non-Classical Logic Systems for the Enhancement of Access Control Models: A Literature Review. CoRR (2023)
Zhigeng Pan, Huansen Li, Mingmin Zhang, Yibin Ye, Xi Cheng, Alvin Tang, Ruigang Yang
Photo Realistic 3D Cartoon Face Modeling Based on Active Shape Model. Trans. Edutainment 2 (2009)