On Re-engineering the X.509 PKI with Executable Specification for Better Implementation Guarantees-Reference-Cited by-同舟云学术

On Re-engineering the X.509 PKI with Executable Specification for Better Implementation Guarantees

Published:2021-11-12 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security
language:
Short-container-title:

Author:

Debnath Joyanta¹,Chau Sze Yiu²,Chowdhury Omar¹

Affiliation:

1. The University of Iowa, Iowa City, IA, USA

2. The Chinese University of Hong Kong, Hong Kong, Hong Kong

Funder

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3460120.3484793

Reference47 articles.

1. 2014. stringprep: Implements the "StringPrep" algorithm. https://hackage.haskell.org/package/stringprep. 2014. stringprep: Implements the "StringPrep" algorithm. https://hackage.haskell.org/package/stringprep.

2. 2020. SSL certificate chain resolver. https://github.com/zakjan/cert-chain-resolver. 2020. SSL certificate chain resolver. https://github.com/zakjan/cert-chain-resolver.

3. 2021. GnuTLS. https://www.gnutls.org/. 2021. GnuTLS. https://www.gnutls.org/.

4. 2021. mbedTLS. https://tls.mbed.org/. 2021. mbedTLS. https://tls.mbed.org/.

5. 2021. OpenSSL. https://www.openssl.org/. 2021. OpenSSL. https://www.openssl.org/.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. ARMOR: A Formally Verified Implementation of X.509 Certificate Chain Validation;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19

2. Lightweight privacy-enhanced secure data sharing scheme for smart grid;Peer-to-Peer Networking and Applications;2024-02-22

3. Hammurabi;Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security;2022-11-07

4. X-FTPC: A Fine-Grained Trust Propagation Control Scheme for Cross-Certification Utilizing Certificate Transparency;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2022