Skip to main content

Roy Maxion

Research Professor, School of Computer Science

[Email]

Roy Maxion

Research Areas

Mobility, Security of Cyber-Physical Systems

Cross Cutting Thrusts

Formal Methods

Biography

Roy Maxion is a Research Professor at the School of Computer Science.

His research covers several areas of computer science, including development and evaluation of highly reliable systems, concept learning, and human-computer interfaces. He is developing dependable systems for automated detection, diagnosis and remediation of faulty or unanticipated events in many domains -- international banking, telecommunications networks, digital libraries, vendor help systems, semiconductor fabrication and others.

One type of dependable-system application is found in the diagnosis of faults (or other conditions) in new or evolving situations. For example, diagnosis in real-time networks
or in semiconductor fabrication processing is difficult because, due to continuous environmental changes, there exists no stable model of acceptable performance against which observed behaviors can be judged. Similarly, a robot, or other autonomous computational organism, finding itself in unfamiliar circumstances, must determine with confidence which elements of its environment are normal, and then classify and respond correctly to novel, anomalous or special events. A major research goal is to model the cognitive processes that make such tasks seem so easy for humans.

Education

PhD, 1985. Cognitive Science, University of Colorado

 

Research Projects

Mixed Effects Models for Predicting Anomaly-Detector Error Rates

Research Area: Security of Cyber-Physical Systems
Researcher: Roy Maxion

One-Finger, Two-Factor Authentication with Number Pads

Research Area: Security of Cyber-Physical Systems
Researcher: Roy Maxion

Artifact-FreeSanitization of Insider-Threat Data

Researcher: Roy Maxion

Dependably Usable Interfaces for Security in the Real World (Renewal)

Research Area: Mobility
Researcher: Roy Maxion

Design Methodologies for Security Applications

Cross Cutting Thrusts: Formal Methods
Researcher: Roy Maxion

Publications

"Making Experiments Dependable". Maxion, Roy A. The Next Wave / NSA Magazine, Vol. 19, No. 1, pp. 13-22, March 2012, National Security Agency, Ft. Meade, Maryland. Reprinted from Dependable and Historic Computing, LNCS 6875, pp. 344-357, Springer, Berlin, 2011.

"Should Security Researchers Experiment More and Draw More Inferences?". Killourhy, Kevin S. and Maxion, Roy A. In 4th Workshop on Security Experimentation and Test (CSET-11), in conjunction with the 20th USENIX Security Symposium, 08-12 August 2011, San Francisco, California. "http://static.usenix.org/event/cset11/tech/"

"Keystroke Biometrics with Number-Pad Input". Maxion, Roy A. and Killourhy, Kevin S. In IEEE/IFIP International Conference on Dependable Systems & Networks (DSN-10), pp. 201-210, Chicago, Illinois, 28 June to 01 July 2010. IEEE Computer Society Press, Los Alamitos, California, 2010.

"Why Did My Detector Do That?! Predicting Keystroke-Dynamics Error Rates". Killourhy, Kevin S. and Maxion, Roy A. 13th International Symposium on Recent Advances in Intrusion Detection, 15-17 September 2010, Ottawa, Ontario, Canada. S. Jha, R. Sommer, and C. Kreibich (Eds.): RAID 2010, Lecture Notes in Computer Science, LNCS Vol. 6307, pp. 256-276, Springer-Verlag, Berlin/Heidelberg, 2010. ISBN 978-3-642-15511-6.

"Comparing Anomaly-Detection Algorithms for Keystroke Dynamics". Killourhy, Kevin S. and Maxion, Roy A. In International Conference on Dependable Systems & Networks (DSN-09), pp. 125-134, Estoril, Lisbon, Portugal, 29 June to 02 July 2009. IEEE Computer Society Press, Los Alamitos, California, 2009.