Publisher
Springer Nature Switzerland
Reference40 articles.
1. LNCS;M Bellare,2000
2. LNCS;M Bellare,1994
3. LNCS;M Bellare,2006
4. LNCS;S Blake-Wilson,1997
5. Bruni, A., Sahl Jørgensen, T., Grønbech Petersen, T., Schürmann, C.: Formal verification of ephemeral diffie-hellman over cose (edhoc). In: Cremers, C., Lehmann, A. (eds.) Security Standardisation Research, pp. 21–36 (2018)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献