Affiliation:
1. Code 5543, Center for Secure Information Technology, Naval Research Laboratory, Washington, DC 20375
Subject
Computer Networks and Communications,Hardware and Architecture,Safety, Risk, Reliability and Quality,Software
Cited by
53 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Analysis of Cryptographic Protocols;Encyclopedia of Cryptography, Security and Privacy;2023
2. An Effective Lightweight Cryptographic Algorithm to Secure Internet of Things Devices;Proceedings of the Future Technologies Conference (FTC) 2021, Volume 1;2021-10-24
3. Joshua Guttman: Pioneering Strand Spaces;Protocols, Strands, and Logic;2021
4. A review on lightweight cryptography for Internet-of-Things based applications;Journal of Ambient Intelligence and Humanized Computing;2020-11-21
5. A Static Higher-Order Dependency Pair Framework;Programming Languages and Systems;2019