H. Key Personnel Effort
Dr. John McHugh
is an Associate Professor in the Computer Science
Department at Portland State University where he holds a Tektronix
Professorship. He has been involved in research in the application
of formal methods in software development for 20 years and in computer
security for 15 years. He has a Ph.D. in Computer Science from the
University of Texas, a M.S. in Computer Science from the University
of Maryland, and a B.S. in Physics from Duke University. He has
worked for the Research Triangle Institute, Computational Logic, Inc.,
and the University of North Carolina. Previous ARPA funded research
includes work on the TRW Advanced Computing Systems project involving
a risk driven process model for the development of trusted computing
systems, the Trusted X Window prototype, and an evaluation of the
suitability of Rapid for prototyping trusted systems. He has performed
a feasibility study of technique for ensuring compilation correctness
based on a compilation checker as an ARPA funded SBIR Phase I contract.
He is currently the PI on the PSU subcontract to investigate covert
channels in ATM networks in support of MCNC's Key Agile Cryptographic
System for ATM. He has published widely in the computer security
area, is a past chair of the IEEE CS Technical Committee on Security
and Privacy, and is an associate editor of the IEEE Transactions
of Software Engineering.
Dr. McHugh has a 9 month tenure track appointment at PSU
and would devote, to the project, 15% of his time during the academic
year, 20% during the summer of `97 and 50% during the summer of `98.
Jim Binkley
is a fulltime instructor in the Computer Science
Department at Portland State University. He has a double B.A. in
Chinese Literature and Anthropology from the University of Kansas and
a M.S. in Computer Science from Washington State University. He also
has 12 years experience working in industry as a senior software
engineer and network consultant specializing in TCP/IP networking,
UNIX and real-time operating systems, and software tools. He has
worked for Tektronix, and as a consultant at Intel. Mr. Binkley has
taught graduate courses in operating systems and networking at both
Portland State and the Oregon Graduate Institute. His specific areas
of expertise include routing, mobile networking, Internet information
retrieval, and UNIX operating system internals.
Jim Binkley has a 9 month appointment at PSU and would devote
50% of his time to this project during the academic year for the
duration of the project and 50% of his time during the summers.
Sarah Mocas
is an assistant professor of Computer Science at Portland
State University. Dr. Mocas received her PhD in Computer Science from
Northeastern University, in 1993. She received a B.A. from Tufts
University in 1985 and a M.S. in Computer Science from Northeastern
University, in 1989. At PSU, Dr. Mocas teaches a cryptography course
and her research interests include cryptography, protocol analysis,
and complexity theory.
Dr. Mocas would devote 15% of her time to this project during the
academic year and 15% of her time during the summer, for the duration of
the project. She currently has
a 9 month appointment at PSU and summer support for 1995 and 1996
through NSF.
Tom Schubert
is an assistant professor of Computer Science at Portland
State University. Dr. Schubert received his PhD in Computer Science
from the University of California, Davis in 1992. At Davis, he was a
member of the Systems Verification Group investigating the formal
verification of hardware and security properties, with the objective
of developing a secure, distributed system. He has industrial
experience with CDC in OS and databases. Recent work includes an X
windows user interface for theorem proving and a process algebra model
for verifying composed hardware systems. He is developing a MLS
window system for the Synergy operating system architecture. He is
the Program Chair for the 1995 International Workshop on the HOL
Theorem Proving System and Its Applications.
Dr. Schubert has a 9 month tenure track appointment at PSU and summer
support for 1995 through a grant with NSA. He will devote 15% of
his time to this project during the academic year and 15% of his time
during the summer, for the duration of the project.
back to Proposal Outline
Email to Jim Binkley:
jrb@cs.pdx.edu