Login / Signup
Erzhuo Chen
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Person Identification
Signature Verification
Asynchronous Circuits
Statistical Machine Translation
Top Venues
SACMAT
COMPSAC
</>
Publications
</>
Erzhuo Chen
,
Vladislav Dubrovenski
,
Dianxiang Xu
Coverage-Based Testing of Obligations in NGAC Systems.
SACMAT
(2023)
Vladislav Dubrovenski
,
Erzhuo Chen
,
Dianxiang Xu
SMT-Based Verification of NGAC Policies.
COMPSAC
(2023)
Erzhuo Chen
,
Vladislav Dubrovenski
,
Dianxiang Xu
Mutation Analysis of NGAC Policies.
SACMAT
(2021)