Sam Weber, Suzanne K. McIntosh, Amitkumar Paradkar, David C. Toll, Paul A. Karger, Matthew Kaplan, Elaine R. Palmer. The Feasibility of Automated Feedback-Directed Test Generation: A Case Study of a High-Assurance Operating System, RC 24547, May 2, 2008, IBM Research Division, T. J. Watson Research Center: Yorktown Heights, NY.
Suzanne McIntosh. Research Directions, Challenges, and Careers in CyberSecurity - Past, Present, and Future. Invited talk for Cyber Security Students Workshop, Stevens Institute of Technology, Hoboken, New Jersey. April 17, 2008.
Paul A. Karger, David C. Toll, Elaine R. Palmer, Suzanne K. McIntosh, Samuel M. Weber. Designing a Secure Smart Card Operating System, RC 24531, April 9, 2008, IBM Research Division, T. J. Watson Research Center: Yorktown Heights, NY.
David Toll, Sam Weber, Paul Karger, Elaine Palmer, Suzanne McIntosh. Tooling in Support of Common Criteria Evaluation of a High Assurance Operating System. Build Security In Forum, January 2008.
https://buildsecurityin.us-cert.gov/daisy/bsi/articles/knowledge/lessons/961.html
David Toll, Paul Karger, Elaine Palmer, Suzanne McIntosh, and Sam Weber. The Caernarvon Secure Embedded Operating System. Operating Systems Review, ACM, January 2008.
Karger, P.A., E.R. Palmer, D.C. Toll, S. McIntosh, and S. Weber. High Assurance Smart Cards for Multinational Coalitions and Other Applications of National Security. in IBM-Princeton Security & Architecture Day. 7 December 2007, Princeton, NJ.
Xiaolan Zhang, Suzanne McIntosh, Pankaj Rohatgi: IBM, John Linwood Griffin: BAE Systems. XenSocket: A High-throughput Interdomain Transport for VMs. Middleware 2007, 26-30 November, 2007, Newport Beach, California.
David Toll, Paul Karger, Elaine Palmer, Suzanne McIntosh, and Sam Weber. The Caernarvon Secure Embedded Operating System, RC 24393, October 30, 2007, IBM Research Division, T. J. Watson Research Center: Yorktown Heights, NY.
Sam Weber, Paul Karger, Suzanne McIntosh, Amit Paradkar, David Toll, Elaine Palmer, and Matthew Kaplan. The Feasibility of Automated Feedback-Directed Test Generation, RC 24355, September 24, 2007, IBM Research Division, T. J. Watson Research Center: Yorktown Heights, NY.
Suzanne McIntosh. XenSocket: Interdomain transport for VMs. Presented to IBM Linux Technology Center (LTC) Xen Group, 16 May, 2007.
Suzanne McIntosh. Growing Technology Trends: Intelligent ID. Invited talk for Computer Society, Fairleigh Dickinson University, Teaneck, New Jersey. April 24, 2007.
Suzanne McIntosh, Xiaolan Zhang, Pankaj Rohatgi: IBM Research, John Linwood Griffin: BAE Systems. XenSocket: Realizing a high throughput interdomain transport for virtual machines. Presented at Xen Summit 2007, 17-18 April, 2007, IBM Research, Yorktown, NY. http://xensource.com/xen/xensummit.html
Paul Karger, David Toll, and Suzanne McIntosh. Processor Requirements for a High Security Smart Card Operating System. Accepted - 2007 e-Smart Conference, 19-21 Sep, 2007, Sophia Antipolis, France.
Paul Karger, David Toll, and Suzanne McIntosh. Processor Requirements for a High Security Smart Card Operating System, RC 24219, March 20, 2007, IBM Research Division, T. J. Watson Research Center: Yorktown Heights, NY.
Xiaolan Zhang, Suzanne McIntosh, Pankaj Rohatgi: IBM, John Linwood Griffin: BAE Systems. XenSocket: A High-throughput Interdomain Transport for VMs, RC 24247, April 26, 2007, IBM Research Division, T. J. Watson Research Center: Yorktown Heights, NY.
Amit Paradkar, Suzanne McIntosh, Sam Weber, David Toll, Paul Karger, Matt Kaplan. Chicken & Egg: Dependencies in Security Testing and Compliance with Common Criteria Evaluations. In IEEE International Symposium on Secure Software Engineering (ISSSE '06). 13-15 March 2006, Arlington, VA IEEE Computer Society. p. 65-74.
Amit Paradkar; Suzanne McIntosh; Sam Weber; David Toll; Paul Karger; Matt Kaplan. Chicken & Egg: Dependencies in Security Testing and Compliance with Common Criteria Evaluations, RC 23717, in 2005, IBM Research Division, T. J. Watson Research Center: Yorktown Heights, NY.
Suzanne McIntosh. NTDR InfoSec: Software Security and the 80486 Microprocessor - A Design Project. UMI Publishing Inc., Copyright 2000 by SK McIntosh.
Suzanne McIntosh. Developing Software for Secure Embedded Applications and Wireless Networks. Invited talk for Computer Society, Fairleigh Dickinson University, Teaneck, New Jersey. November 30, 2000.
Suzanne McIntosh. NTDR InfoSec: Software Security and the 80486 Microprocessor. Thesis defense, Stevens Institute of Technology, Hoboken, New Jersey, April 12, 2000.
Suzanne McIntosh. NTDR InfoSec: Software Security and the 80486 Microprocessor. In Proceedings of 21st Century Military Communications Conference "MILCOM 2000", Los Angeles, California, October 2000.
