Login / Signup
Yixian Cai
Publication Activity (10 Years)
Years Active: 2016-2019
Publications (10 Years): 2
Top Topics
Integrity Verification
Cryptographic Protocols
Secure Multi Party
Trusted Computing
Top Venues
CoRR
Int. J. Inf. Sec.
</>
Publications
</>
Yixian Cai
,
George Karakostas
,
Alan Wassyng
Secure and trusted partial grey-box verification.
Int. J. Inf. Sec.
18 (6) (2019)
Yixian Cai
,
George Karakostas
,
Alan Wassyng
Secure and trusted white-box verification.
CoRR
(2016)