Validation Algorithms for a Secure Internet Routing PKI. - David J. Montana; Mark C. Reynolds (EuroPKI, 2008)

Lightweight Modeling of Java Virtual Machine Security Constraints. - Mark C. Reynolds (ASM, 2010)

Modeling the Java Bytecode Verifier. - Mark C. Reynolds (Sci. Comput. Program., 2013)

Privacy-preserving Data clustering in Cloud Computing based on Fully Homomorphic Encryption. - Abdulatif Alabdulatif; Ibrahim Khalil 001; Mark C. Reynolds; Heshan Kumarage; Xun Yi (PACIS, 2017)

A Profile for BGPsec Router Certificates, Certificate Revocation Lists, and Certification Requests. - Mark C. Reynolds; Sean Turner; Stephen T. Kent (RFC, 2017)