Truncations of principal geometries. - Richard A. Brualdi; George W. Dinolt (Discret. Math., 1975)

Multinet Gateway-Towards A1 Certification. - George W. Dinolt; Richard B. Neely; P. C. Baker; James W. Freeman (S&P, 1984)

A Graph-Theoretic Formulation of Multilevel Secure Distributed Systems: An Overview. - J. C. Williams; George W. Dinolt (S&P, 1987)

Formal Model of a Trusted File Server. - J. C. Williams; George W. Dinolt (S&P, 1989)

Combining Components and Policies. - George W. Dinolt; Lee A. Benzinger; Mark Yatabe (CSFW, 1994)

MYSEA Technology Demonstration. - Cynthia E. Irvine; David J. Shifflett; Paul C. Clark; Timothy E. Levin; George W. Dinolt (DISCEX (2), 2003)

Monterey Security Enhanced Architecture Project. - Cynthia E. Irvine; David J. Shifflett; Paul C. Clark; Timothy E. Levin; George W. Dinolt (DISCEX (2), 2003)

A Program for Education in Certification and Accreditation. - Craig W. Rasmussen; Cynthia E. Irvine; George W. Dinolt; Timothy E. Levin; Karen L. Burke (World Conference on Information Security Education, 2003)

Cube-Type Algebraic Attacks on Wireless Encryption Protocols. - Nikolaos Petrakos; George W. Dinolt; James Bret Michael; Pantelimon Stanica (Computer, 2009)

Bringing science to digital forensics with standardized forensic corpora. - Simson L. Garfinkel; Paul F. Farrell Jr.; Vassil Roussev; George W. Dinolt (Digit. Investig., 2009)

A security and usability perspective of cloud file systems. - Alex J. Nelson 003; George W. Dinolt; J. Bret Michael; Man-tak Shing (SoSE, 2011)

Operations with Degraded Security. - Simson L. Garfinkel; George W. Dinolt (IEEE Secur. Priv., 2011)

Challenges in emulating sensor and resource-based state changes for Android malware detection. - Jacob Boomgaarden; Joshua Corney; Holly Whittaker; George W. Dinolt; John McEachen (ICSPCS, 2015)

Mobile Konami Codes: Analysis of Android Malware Services Utilizing Sensor and Resource-Based State Changes. - Jacob Boomgaarden; Joshua Corney; Holly Whittaker; George W. Dinolt; John McEachen (HICSS, 2016)

Open Questions in Formal Methods. - James Bret Michael; George W. Dinolt; Doron Drusinsky (Computer, 2020)

Can You Trust Zero Trust? - James Bret Michael; George W. Dinolt; Frederick B. Cohen; Duminda Wijesekera (Computer, 2022)