Thuy D. Nguyen (speaker)
Cynthia E. Irvine
Timothy E. Levin

Department of Computer Science, Naval Postgraduate School

Thuy D. Nguyen is a Research Associate of the Department of Computer Science at the Naval Postgraduate School. She has over 19 years of engineering and technical management experience in high assurance Multi-Level Secure (MLS) Operating Systems, secure client-server applications development, and network security research. She is currently a technical lead for multiple research projects, including the development of an exemplar high assurance separation kernel that is targeted for EAL7 Common Criteria evaluation, implementation of a high assurance distributed MLS client-server system, and construction of an MLS testbed. She also performs research on dynamic security services and web security technologies, serves as advisors to postgraduate students, and teaches advanced topics in computer security and information assurance. Ms. Nguyen has been a key contributor to the formulation of the draft Protection Profile for Separation Kernels in Environments Requiring High Robustness (SKPP). In prior positions she was an NSA-certified Vendor Security Analyst and a senior kernel engineer where she developed kernel software for a TCSEC Class A1 security kernel commercial product. She also was the product manager for an IPsec-based Firewall/VPN product and a highly secure MLS-aware web server.

Timothy E. Levin is an Associate Research Professor at the Naval Postgraduate School. He has spent over 19 years working in all aspects of secure computer systems research and development. His secure system work has included design of security features, and formal verification of the GEMSOS A1 operating system, and design and development of
security features for the Sybase SQL Server. Mr. Levin has been a key contributor to the formulation of the draft Protection Profile for Separation Kernels in Environments Requiring High Robustness (SKPP). He has also been certified by the NSA as a “Vendor Security Analyst” for participation in their Trusted Product Evaluation Program. His current research interests include modeling of dynamic security policies in heterogeneous networks, analysis and design of multi-component security architectures, and the application of formal methods to the development of high assurance computer systems. Mr. Levin has a SECRET security clearance and is a member of both the ACM and IEEE.

Dr. Cynthia Irvine is the Director of the Center for Information Systems Security Studies and Research (CISR) and a Professor of Computer Science at the Naval Postgraduate School, where she has worked since 1994. Her research centers on the design and construction of high assurance systems and multilevel security. She is an author on over 100 papers and reports on security and has supervised the research of over 80 Masters and PhD students. She has served on numerous government committees and review boards. In 2001, Dr. Irvine received the Naval Information Assurance Award. In 2004, she received the William Hugh Murray Founder’s Award from the Colloquium for Information Systems Security Education. She is a member of the ACM, a lifetime member of the ASP, and a Senior Member of the IEEE.