Author:
Cassel Darion,Huang Yan,Jia Limin
Publisher
Springer International Publishing
Reference59 articles.
1. Kerberos ASN.1 encoder.
https://github.com/krb5/krb5/tree/master/src/lib/krb5/asn.1
. Accessed 2018
2. Aldrich, J., Sunshine, J., Saini, D., Sparks, Z.: Typestate-oriented programming. In: Proceedings of OOPSLA (2009)
3. Almeida, J.B., et al.: Jasmin: high-assurance and high-speed cryptography. In: Proceedings of CCS (2017)
4. Ball, T., Rajamani, S.K.: The SLAM project: debugging system software via static analysis. In: Proceedings of POPL (2002)
5. Lecture Notes in Computer Science;G Barany,2017
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献