Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Nika Pona, Vadim Zaliva. Research Report: Formally-Verified ASN.1 Protocol C-language Stack. In 2020 IEEE Security and Privacy Workshops, SP Workshops, San Francisco, CA, USA, May 21, 2020. pages 308-317, IEEE, 2020. [doi]