Recent Publications

Theses:


S. Kuhn, “Automated Forensic Techniques for Locating Zero-day Exploits”, Ph.D. Thesis, Thayer School of Engineering, December 2013. (Co funded with USAF / CRASH / MRC)

M. Kanter, “Enhancing Non-determinism in Operating Systems”, Ph.D. Thesis, Thayer School of Engineering at Dartmouth, October 2013. (MRC)

C. Nichols, “Bear - a Resilient Core for Distributed Systems”, Masters Thesis, Thayer School of Engineering at Dartmouth College, 2013. (CRASH)

K. McGill, “Operating System Support for Resilience”, Ph.D. Thesis, Thayer School of Engineering at Dartmouth College, 2011. (CRASH)


DARPA MRC Program:

C. Nichols, M. Kanter, and S. Taylor, “Bear – A Resilient Kernel for Tactical Missions”, In proceedings of MILCOM 2013, pp 1416-1421, Nov 2013. (Co funded with CRASH).

M. Kanter, and S. Taylor, “Diversity in Cloud Systems through Runtime and Compile-Time Relocation “, In proceedings of IEEE-HST 2013.

M. Kanter, and S. Taylor, “Attack Mitigation through Diversity“, In proceedings of MILCOM 2013, pp 1410-1415, Nov 2013.

R. Denz, and S. Taylor, “A Survey on Securing the Virtual Cloud”, Journal of Cloud Computing: Advances, Systems, and Applications, Volume 2, Issue 1 on 6 November 2013.


DARPA CRASH Program:

J. Dahlstrom and S. Taylor, “Migrating an OS Scheduler into Tightly Coupled FPGA Logic to Increase Attacker Workload”, In proceedings of MILCOM 2013, pp 986-991, Nov 2013.

M. Henson and S. Taylor. "Beyond Disk Encryption: Protection on Security Enhanced Commodity Processors" Proceedings of the 11th International Conference on Applied Cryptography and Network Security (ACNS '13) June 25-29, 2013.

M. Henson and S. Taylor, "Attack Mitigation through Memory Encryption of Security Enhanced Commodity Processors" In the Proceedings of the 8th International Conference on Information Warfare and Security (ICIW '13), Hart, D. (eds.) pp. 265-268. March 2013.

M. Henson and S. Taylor, “Memory Encryption: A Survey of Existing Techniques”, To Appear in ACM Computing Surveys.

S. Kuhn and S. Taylor, "A forensic hypervisor for process tracking and exploit discovery," In Proceedings of MILCOM 2012 , vol., no., pp.1,5, Oct. 29 2012-Nov. 1 2012. doi: 10.1109/MILCOM.2012.6415817

S.,Kuhn, and S.Taylor, "Increasing attacker workload with virtual machines," In Proceedings of MILCOM 2011 , vol., no., pp.2176,2181, 7-10 Nov. 2011. doi: 10.1109/MILCOM.2011.6127643

K. McGill and S. Taylor, “Computational Resiliency for Distributed Applications,” In Proceedings of MILCOM 2011, pp 1472-1479, Nov 2011.

K. McGill and S. Taylor, “Application Resilience with Process Failures,” In Proceedings of the 2011 International Conference on Security and Management, Las Vegas, Nevada, July 2011.

K. McGill and S. Taylor, “Robot Algorithms for Localization of Multiple Emission Sources,” ACM Computing Surveys (CSUR), vol 43, no 3, April 2011.

K. McGill and S. Taylor, “Diffuse algorithm for robotic multi-source localization,” In Proceedings of IEEE 2011 International Conference on Technologies for Practical Robot Applications, April 2011.

C. Nichols, S. Taylor, J. Keranen, and G. Schultz, “A Concurrent Algorithm for Real-Time Tactical LiDAR”, In the proceedings of 2011 IEEE Aerospace Conference, Big Sky, Montana, March 2011.

K. McGill and S. Taylor, “Comparing Swarm Algorithms for Multi-source Localization,” In Proceedings of the 2009 IEEE International Workshop on Safety, Security, and Rescue Robotics, Denver, Colorado, November 2009.

K. McGill and S. Taylor, “Comparing Swarm Algorithms for Large Scale Multi-source Localization,” In Proceedings of the 2009 IEEE International Conference on Technologies for Practical Robot Applications, Woburn, Massachusetts, November 2009.



Air Force Research Laboratory:


M. Denz et. al., “Advances in Experiment Automation,” In Proceedings of MILCOM 2011, Baltimore, MD, Nov 2011. Best classified paper award.

M. Denz et.al., “Range Automation”, JSCoRE, Volume 1, Issue 1, pp 84-107, Oct 2013.


Patent


Stephen Taylor and Peter Haaland, “Scalable Concurrent Distributed Sensor System and Method”, Issued Feb 2008, US Patent 7,333,921.


Reports

S. Taylor, “Quadrennial Roles and Missions Review”, Cyber Team: Vision Group Advisory Panel Final Report, July 2008.

M. Kanter and S. Taylor, “Camouflaging Servers to Avoid Exploits”, TR11-001

S. Kuhn and S. Taylor, “Increasing Attacker Workload with Virtual Machines”, TR11-002

K. McGill and S. Taylor, “Operating System Support for Resilience”, TR11-003

K. McGill and S. Taylor, “Process Migration for Resilient Applications”, TR11-004

S. Taylor, M. Henson, M. Kanter, S. Kuhn, K. McGill, and C. Nichols, “Bear – A Resilient Operating System for Scalable Multi-processors”, TR11-005

K. McGill and S. Taylor, “Application Resilience with Process Failures”, TR11-006

S. Kuhn and S. Taylor, “A Survey of Forensic Analysis in Virtualized Environments”, TR11-007

K. McGill and S. Taylor, “Reliability Analysis of Resilient Applications”, TR11-008