Publisher
Springer International Publishing
Reference31 articles.
1. Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), London, UK, pp. 104–115. ACM, January 2001
2. Arapinis, M., Phillips, J., Ritter, E., Ryan, M.D.: StatVerif: verification of stateful processes. J. Comput. Secur. 22(5), 743–821 (2014)
3. Arthur, W., Challener, D.: A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security. Apress, Berkeley (2015)
4. Basin, D., Cremers, C., Dreier, J., Meier, S., Sasse, R., Schmidt, B.: Tamarin prover (v. 1.6.1), August 2021. https://tamarin-prover.github.io
5. Brickell, E.F., Camenisch, J., Chen, L.: Direct anonymous attestation. In: ACM Conference on Computer and Communications Security (CCS), Washington, DC, pp. 132–145. ACM, October 2004
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献