Recent Publications

Theses:


R. Denz, "Securing Operating Systems Through Utility Virtual Machines", Ph.D. Thesis, Thayer School of Engineering at Dartmouth College, June 2016. (MRC)

J. Dahlstrom, “Hiding in Hardware”, Ph.D. Thesis, Thayer School of Engineering at Dartmouth College, December 2015. (Co funded by CRASH/MRC)

M. Henson, "Attack Mitigation through Memory Encryption", Ph.D. Thesis, Thayer School of Engineering, September 2014 (Co funded by USAF/CRASH).

S. Kuhn, “Automated Forensic Techniques for Locating Zero-day Exploits”, Ph.D. Thesis, Thayer School of Engineering, December 2013. (Co funded by 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)


The following published papers are covered by copyright restrictions.

Online links are password protected & accessible only to authorized individuals.



DARPA MRC Program:

Scott Brookes and Stephen Taylor, “Rethinking Operating System Design: Asymmetric Multiprocessing for Security and Performance”, New Security Paradigms Workshop 2016, Sept 26-29 2016. Accepted for Publication.

Scott Brookes and Stephen Taylor, "Containing a Confused Deputy on x86: A Survey of Privilege Escalation Mitigation Techniques”, International Journal of Advanced Computer Science and Applications (IJACSA), April 2016.

Scott Brookes, Robert Denz, Martin Osterloh, and Stephen Taylor, “ExOShim: Preventing Memory Disclosure using Execute-Only Kernel Code.", International Journal of Information and Computer Security, April 2016.


Robert Denz and Stephen Taylor, ''Securing the Cloud through Utility Virtual Machines'', In the Proceedings of IMCIC, Orlando, FL, March, 2016.

Scott Brookes, Robert Denz, Martin Osterloh, and Stephen Taylor, “ExOShim: Preventing Memory Disclosure using Execute-Only Kernel Code”, 11th International Conference on Cyber Warfare and Security (ICCWS’16), pp 56–64, Boston University, Boston, MA, March 2016.

Scott Brookes, Martin Osterloh, Robert Denz, and Stephen Taylor, “The KPLT: The Kernel as a Shared Object”, MILCOM 2015, pp 981-986, Oct 2015.

Stephen Kuhn and Stephen Taylor, “Locating Zero-day Exploits with Course-Grained Forensics”, Expanded version of conference paper by same name. Journal of Information Warfare, Vol 14, Issue 4, Oct 2015.
Stephen Kuhn and Stephen Taylor, “Locating Zero-day Exploits with Course-Grained Forensics”, 14th European Conference on Cyber Warfare and Security ECCWS-2015, 2-3 July 2015, pp 159-168.


Jason Dahlstrom and Stephen Taylor, “Hardware-Based Code Monitors on Hybrid, Processor-FPGA System-on-Chip Architectures, MILCOM 2015, pp 968-973, Oct 2015.

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.


Patents


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.

J. Haines, R. Parks, L. Tinnel, and S. Taylor, DARPA CyberPanel Grand Challenge Problem Specification. Version 3.2. MIT/Lincoln Laboratory, Air Force Research Laboratory, Rome, NH. Feb 2003.

Crisis Information Management Software (CIMS) Feature Comparison Report, Special Report, National Institute of Justice, Subject: Technology in law enforcement and information systems. Participation: CIMS Security. October 2002.

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



Other Publications

Books


"Designing for Change: A Web-based Course in Program Design", Taylor, Kendall-Hunt, 1997.

"Parallel CFD'95" Conference Proceedings", Eds: Eker, Emmerson, Geiger, and Taylor, Elsiver, 1995.

"An Introduction to Parallel Programming", Chandy and Taylor, Jones and Bartlett, 1992.

"Strand: New Concepts in Parallel Programming", Foster and Taylor, Prentice-Hall, 1990.

"Parallel Logic Programming Techniques", Taylor, Prentice-Hall, 1989. Republished in French by AFNOR.


Journal Articles


J. Lee, S. J. Chapin, and S. Taylor, "Reliable Heterogeneous Applications," IEEE Transactions on Reliability, special issue on Quality/Reliability Engineering of Information Systems, Vol. 52, No 3, pp. 330-339, 2003.

J. Haines, D. K. Ryder, L. Tinnel, and S. Taylor, Validation of Sensor Alert Correlators, IEEE Security & Privacy, Premier Edition, Vol. 1, No. 1, pp 46-56, 2003.

Achalakul T. and S. Taylor, A Distributed Spectral-Screening PCT Algorithm, Journal of Parallel and Distributed Computing, Vol. 63:3, pp. 373-384, 2003.

J. Lee, S. J. Chapin, S. Taylor, Computational Resiliency, Journal of Quality and Reliability Engineering International, Vol. 18, No 3, pp 185-199, 2002.

Achalakul T., and S. Taylor, Real-Time Multi-spectral Image Fusion, Journal of Concurrency and Computation: Practice and Experience, Vol. 13:12, pp.1063-1081, 2001.

Achalakul T., and S. Taylor, A Concurrent Spectral-Screening PCT Algorithm for Remote Sensing Applications, Journal of Information Fusion, Vol. 1:2, pp. 89-97, 2000.

M. Rieffel, M. Ivanov, S. Shankar, and S. Taylor. "Concurrent Simulation of Neutral Flow in the GEC Reference Cell", Journal of Concurrency: Practice and Experience, Vol. 12:1, pp 1-19, 2000.

J. Watts, and S. Taylor, "A Vector-based Strategy for Dynamic Resource Allocation", Journal of Concurrency: Practice and Experiences, 1998.

Watts and Taylor, "A Practical Approach to Dynamic Load Balancing", IEEE Transactions on Parallel and Distributed Systems vol. 9, pp 235-248, 1998.

Palmer, Totty, and Taylor, "Ray Casting on Shared-Memory Architectures: Efficient Exploitation of the Memory Hierarchy," IEEE Concurrency, Vol 6, No. 1, pp 20-36, Jan 1998.

Taylor, Watts, Rieffel, and Palmer, "The Concurrent Graph: Basic Technology for Irregular Problems", IEEE Parallel and Distributed Technology, 4(2): pp15-25, Summer 1996.

Lim, Brunett, Iotov, McClurg, Vaidehi, Dasgupta, Taylor, and Goddard, "Molecular Dynamics for Very Large Systems on Massively Parallel Computers: The MPSim Program", Journal of Computational Chemistry, vol 17, No 0, pp 501-521, John Wiley & Sons. 1996.

Samanta Roy, Hastings, and Taylor, "Three-Dimensional Plasma Particle-in-Cell Calculations of Ion Thruster Backflow Contamination", Journal of Computational Physics, vol 128, pp6-18, 1996.

Taylor and Wang, "Launch Vehicle Simulations using a Concurrent, Implicit Navier-Stokes Solver", AIAA Journal of Spacecraft and Rockets, Vol 33, No. 5, pp 601-606, Oct 1996.

Maskit and Taylor, "A Message-Driven Programming System for Fine-Grain Multicomputers", Software Practice and Experience, Vol. 24, No. 10, pp 953-980, Oct 1994.

Foster and Taylor, "A Compiler Approach to Scalable Concurrent-Program Design", ACM Transactions on Programming Languages and Systems, Vol. 16, No. 3, pp 577-604, May 1994.

Foster, Kessleman, and Taylor, "Concurrency: Simple Concepts and Powerful Tools", The Computer Journal, 30(1), 1990.

Taylor, et. al., "Notes on the Complexity of Systolic Programs", Journal of Parallel and Distributed Computing, Vol. 4, No. 3, 1987.

Taylor, et al., "A Layered Method for Process and Code Mapping", Journal of New Generation Computing. Vol. 5, No. 2, 1987.

Taylor, et al., "A Parallel Implementation of Flat Concurrent Prolog", International Journal of Parallel Programming. Vol 15, No. 3. 1987.

Foster and Taylor, "Flat Parlog: A Basis for Comparison", International Journal of Parallel Programming. Vol 16, No. 2, pp 87-125, 1987.


Book Chapters


R. Roy, D. Hastings, and S. Taylor. "Three-Dimensional Plasma Particle-in-Cell Calculations of Ion Thruster Backflow Contamination." In Book: Industrial Strength Parallel Computing. Morgan Kaufmann, pp 267-296, 2000.

J. Wang and S. Taylor."An Architecture-Independent Navier-Strokes Code"In Book: Industrial Strength Parallel Computing. Morgan Kaufmann, pp147-168, 2000.

S. Taylor, M. Rieffel, J. Watts, and S. Shankar. "Simulation of Plasma Reactors." In Book: Industrial Strength Parallel Computing. Morgan Kaufmann, pp 227-246, 2000.

Chandy and Taylor, "Program Composition Notation", In Book: A Comparative Study of Parallel Programming Languages: The Salishan Problems. Feo, J. T. (eds), North Holland, 263-297, 1992.

Chandy and Taylor, "Examples in Program Composition", In Book: Beauty is our Business, A Birthday Salute to Edsger. W. Dijkstra Springer-Verlag, pp 94-101, 1990.

Taylor, et al., "Notes on the Complexity of Systolic Programs", Concurrent Prolog: Collected Papers, MIT Press, 1987.

Taylor, et al., "A Layered Method for Process and Code Mapping", Concurrent Prolog: Collected Papers MIT Press, 1987.

Foster and Taylor, "A Parallel Implementation of Flat Concurrent Prolog", Concurrent Prolog: Collected Papers, MIT Press, 1987.


Conference Papers


J. Lee and S. Taylor, "Advances in Computation Resiliency", IEEE AeroSpace Conference, Big Sky, Montana, March 2001.

S. Robila, P. Haaland, T. Achalakul, and S. Taylor, "Exploring Independent Component Analysis for Remote Sensing", Workshop on Multi/Hyper-spectral sensor, Measure, Modeling, and Simulation, Redstone Arsenal, AL Nov 2000.

T. Achalakul, J. Lee, and S. Taylor, "Resilient Image Fusion", Proceedings of the 2000 International Conference on Parallel Processing, Toronto, Canada, pp 291-296, August 2000.

S. Taylor, T. Achalakul, J. Lee, K. Lhee, and S. Robila, "Resilient Remote Sensing", National Symposium on Sensor and Data Fusion San Antonio, TX, June 2000.

T. Achalakul, P. Haaland, and S. Taylor, "MathWeb: A Concurrent Image Analysis Tool Suite for Multi-spectral Data Fusion", Sensor Fusion: Architectures, Algorithms, and Applications III, Vol. 3719, pp 351-358, April 1999.

T. Achalakul, K. Lhee, and S. Taylor, "Distributed Coordination of Data Fusion", The 2nd International Conference on Information Fusion, July 1999.

J. Watts, S. Taylor, and S. Nilpanich. “SCPlib: A Concurrent Programming Library for Programming Heterogeneous Networks of Computers.IEEE Information Technology Conference, EX 228, pp 153-6, 1998.

M. Rieffel, J. Watts, S. Taylor. Reactor Simulations for Load Balancing of Concurrent Particle Simulations, High Performance Computing Symposium '98.

M. Rieffel, S. Shankar, S. Taylor. Reactor Simulations for Semiconductor Manufacturing. Simulators International XV '98.

S. Gimelshein, M. Ivanov, G. Markelov, M. Rieffel, S. Shankar, S. Taylor. Concurrent DSMC Modeling of Rarefied Neutral Flow in the GEC Reference Cell. 29th AIAA Fluid Dynamics Conference, April, 1998.

M. Rieffel, J. Watts, and S. Taylor. Performance Studies of Concurrent Particle Simulations. High Performance Computing Symposium '98.

J. Watts and S. Taylor. Automatic Granularity control for Load Balancing of Concurrent Particle Simulations. Grand Challenges in Computer Simulation, pp.115-20, April 1998.

J. Watts, M. Rieffel and S. Taylor. Dynamic Management of Heterogeneous Resources.High Performance Computing:Grand Challenges in Computer Simulation, pp.151-6, April, 1998.

J. Watts and S. Taylor. Communications Locality Preservation in Dynamic Load Balancing. High Performance Computing:Grand Challenges in Computer Simulation, pp.186-90, 1998.

M. Rieffel, S. Taylor, and J. Watts. "Concurrent Simulation of Plasma Reactors", Proceedings of High Performance Computing `97, pp. 163-168, Society for Computer Simulation, 1997.

Rieffel, Taylor, Watts, and Shankar, "Concurrent Simulation of Plasma Reactors", Proceedings of the 1997 Simulation MiltiConference; High Performance Computing `97: Grand Challenges in Computer Simulation, pp 163-168, 1997.

Watts, Rieffel, and Taylor, "A Load Balancing Technique for Multi-phase Computations," Proceedings of the 1997 Simulation MiltiConference; High Performance Computing `97: Grand Challenges in Computer Simulation, pp 15-20, 1997. Society for Computer Simulation.

Ivanov, Markelov, Taylor, and Watts, "Parallel DSMC Strategies for 3D Computations", Proceedings of Parallel CFD '96, pp. 485-492, 1996.

Watts, Rieffel, and Taylor, Practical Dynamic Load Balancing for Irregular Problems. Parallel Algorithms for Irregularly Structured Problems: IRREGULAR `96 Proceedings, pg. 299-306, Springer-Verlag LNCS, Vol. 1117, 1996.

Samanta Roy, Hastings, and Taylor, "Three-Dimensional Plasma Particle-in-Cell Calculations of Ion Thruster Backflow Contamination", To be presented at the 34th AIAA Aerospace Sciences Meeting, 1996, Reno, NV.

S. Taylor, J. Watts, M. Rieffel and M. Palmer. Large-Scale Irregular Calculations using Parallel Architectures. Invited paper to the 6th International Symposium on Computational Fluid Dynamics, 1995.

Palmer, M.E., Taylor, S., and Totty, B. "Interactive Volume Rendering on Clusters of Shared-Memory Multicomputers," Parallel Computational Fluid Dynamics '95, Pasadena, CA. Elsevier Science Publishers B.V., 1995.

Heirich and Taylor "Load Balancing by Diffusion", Proceedings of 24th International Conference on Parallel Programming, vol 3 CRC Press pp 192-202, 1995. 1995 Outstanding Paper Award.

Taylor, Watts, Rieffel, and Palmer, "Large-Scale Irregular Calculations using Parallel Architectures", Invited paper to 6th International Symposium on Computational Fluid Dynamics, 1995.

Shankar, Rieffel, Taylor, Weaver, and Wulf, "Low-Pressure Neutral Transport Modelling for Plasma Reactors," Proceedings of Workshop on Industrial Applications of Plasma Chemistry, Aug 21-25, 1995, Eds A. Wendt and J.V. Heberlein, Volume A, pp 31-40.

Taylor and Wang, "Launch Vehicle Simulations using a Concurrent, Implicit Navier-Stokes Solver", 33rd Aerospace Sciences Meeting, AIAA, Reno, NV, 1994.

Fyfe, Taylor, and Williams, "A Concurrent, Tetrahedral Fluid Solver, based on Wave Propagation", Parallel CFD 94, Elsevier Science Publishers B.V., Kyoto Japan, 1994.

Palmer and Taylor, "Rotation Invariant Partitioning for Computational Scientific Visualization", Parallel CFD 94, Elsevier Science Publishers B.V., Kyoto Japan, 1994.

Wang and Taylor, "A Concurrent, Nodal Mismatched, Implicit Navier-Stokes Solver", Parallel CFD 94, Elsevier Science Publishers B.V., Kyoto Japan, 1994.

Wang and Taylor, "A Concurrent Navier-Stokes Solver for Implicit Multibody Calculations", Parallel CFD 93, Elsevier Science Publishers B.V., Paris, France, 1993.

Harrar II, D., Keller, H., Lin, D., and Taylor, S., "Parallel Computation of Taylor-Vortex Flows", Parallel-CFD 92, Stuttgart, Germany, Elsevier Science Publishers B.V., pp 193--206, 1991.

Foster and Taylor, "Strand: A Practical Parallel Programming Tool", Proceedings of the North American Conference on Logic Programming, 1989.

Chandy and Taylor, The Composition of Parallel Programs, Proceedings of Supercomputing 89; Nov. 1989.

A. Lowry, S. Taylor, G. Q. Maguire Jr., S. J. Stolfo. "Logic Programming using Parallel Associative Operations". 1984 International Symposium on Logic Programming, pages 58-68. IEEE Computer Society Press, Atlantic City, February, 1984.


Ph.D. Theses

Tiranee Achalakul, Concurrent Algorithms and Performance Modeling for Multi-Spectral Image Fusion Applications, Syracuse University, 2000.

Marc A. Rieffel, Performance Modeling for Concurrent Particle Simulations, California Institute of Technology, 1998.

Jerrell R. Watts, Dynamic Load Balancing and Granularity Control on Heterogeneous and Hybrid Architectures, California Institute of Technology, 1998.

Michael E. Palmer, Parallel Partitioning and Efficient Exploitation of the Memory Hierarchy for Concurrent Volume Rendering, California Institute of Technology, 1997.

Daniel Maskit, Software Register Synchronization for Super-Scalar Processors with Partitioned Register Files, California Institute of Technology, 1997.


M.Sc. Theses


Jordan Desroches, Maters Thesis, "Development and Analysis of the Electronics, Mechanical Portions, and Fluid Flow for a Portable Spirometry System", Thayer School of Engineering, Dartmouth College, 2006.

Rebecca Segal, Masters Thesis, "Design and Implementation of a Personal Spirometer to Monitor the Pulmonary Health of Asthma Patients", Thayer School of Engineering, Dartmouth College 2004.


Marc Rieffel, "Concurrent Simulations of Plasma Reactors for VLSI Manufacturing", Masters Thesis, Department of Computer Science, California Institute of Technology, 1995.

Jerrell Watts, "A Practical Approach to Dynamic Load Balancing", Masters Thesis, Department of Computer Science, California Institute of Technology, 1995.

Yair Zadik, "The Message Driven File System: A Network Accessible File System for Fine-Grain Message Passing Multicomputers", Masters Thesis, Department of Computer Science, California Institute of Technology, 1995.

Alan Heirich, "Load Balancing with Differential Equations", Masters Thesis, Department of Computer Science, California Institute of Technology, 1994.

Daniel Maskit, "A Message-Driven Programming System for Fine-Grain Multicomputers", Masters Thesis, Department of Computer Science, California Institute of Technology, 1994.

Michael Palmer, “Immersing the Scientist in Data”, Masters Thesis, Department of Computer Science, California Institute of Technology, 1994.