1. Automated Security Protocol Analysis With the AVISPA Tool
2. Remote credential management with mutual attestation for trusted execution environments;shepherd;Proc IFIP Int Conf Inf Secur Theory Pract,2018
3. TPM2.0 key migration-protocol based on duplication authority;liang;J Softw,2019
4. A TPM2. 0 key migration protocol and security analysis;song;ACTA ELECTONICA SINICA,2019