George W. Dinolt

Publication Activity (10 Years)

Years Active: 1975-2022
Publications (10 Years): 3

Top Topics

Malware Detection

Top Venues

Publications

James Bret Michael, George W. Dinolt, Frederick B. Cohen, Duminda Wijesekera
Can You Trust Zero Trust? Computer 55 (8) (2022)
James Bret Michael, George W. Dinolt, Doron Drusinsky
Open Questions in Formal Methods. Computer 53 (5) (2020)
Jacob Boomgaarden, Joshua Corney, Holly Whittaker, George W. Dinolt, John McEachen
Mobile Konami Codes: Analysis of Android Malware Services Utilizing Sensor and Resource-Based State Changes. HICSS (2016)
Jacob Boomgaarden, Joshua Corney, Holly Whittaker, George W. Dinolt, John McEachen
Challenges in emulating sensor and resource-based state changes for Android malware detection. ICSPCS (2015)
Alex J. Nelson, George W. Dinolt, J. Bret Michael, Man-tak Shing
A security and usability perspective of cloud file systems. SoSE (2011)
Simson L. Garfinkel, George W. Dinolt
Operations with Degraded Security. IEEE Secur. Priv. 9 (6) (2011)
Nikolaos Petrakos, George W. Dinolt, James Bret Michael, Pantelimon Stanica
Cube-Type Algebraic Attacks on Wireless Encryption Protocols. Computer 42 (10) (2009)
Simson L. Garfinkel, Paul F. Farrell Jr., Vassil Roussev, George W. Dinolt
Bringing science to digital forensics with standardized forensic corpora. Digit. Investig. 6 (Supplement) (2009)
Craig W. Rasmussen, Cynthia E. Irvine, George W. Dinolt, Timothy E. Levin, Karen L. Burke
A Program for Education in Certification and Accreditation. World Conference on Information Security Education (2003)
Cynthia E. Irvine, David J. Shifflett, Paul C. Clark, Timothy E. Levin, George W. Dinolt
Monterey Security Enhanced Architecture Project. DISCEX (2) (2003)
Cynthia E. Irvine, David J. Shifflett, Paul C. Clark, Timothy E. Levin, George W. Dinolt
MYSEA Technology Demonstration. DISCEX (2) (2003)
George W. Dinolt, Lee A. Benzinger, Mark Yatabe
Combining Components and Policies. CSFW (1994)
J. C. Williams, George W. Dinolt
Formal Model of a Trusted File Server. IEEE Symposium on Security and Privacy (1989)
J. C. Williams, George W. Dinolt
A Graph-Theoretic Formulation of Multilevel Secure Distributed Systems: An Overview. IEEE Symposium on Security and Privacy (1987)
George W. Dinolt, Richard B. Neely, P. C. Baker, James W. Freeman
Multinet Gateway-Towards A1 Certification. IEEE Symposium on Security and Privacy (1984)
Richard A. Brualdi, George W. Dinolt
Truncations of principal geometries. Discret. Math. 12 (2) (1975)