Mark Gallagher

Building secure architectures for the future

I'm a 2nd year Ph.D. student advised by Prof. Todd Austin at the University of Michigan's Computer Science & Engineering Department. My research interests lie in computer architecture, secure system design, and any time I get to play with cool hardware. My current CV.

Before graduate school, I obtained my undergraduate degree in Computer Engineering from Auburn University in Auburn, AL. During that time, I volunteered for the university's CubeSat development program working with Prof. J-M Wersinger. I have also interned with Dynetics, Inc. to work on simulation and hardware test infrastructure.

My involvements also extend outside of research. I am currently the Resources Chair for the Computer Science & Engineering Graduate Organization (CSEG). I also hold memberships in ACM's SIGARCH & SIGMICRO, as well as IEEE HKN and Tau Beta Pi (TBP).

Some of my personal hobbies include video games, constructing models (LEGOs included!), hiking, traveling, watching ice hockey, and making/eating great food.

Technical Skills

I am always looking to expand my technical knowledge, spanning the computer system stack from operating systems, compilers, and physical hardware:

  • Compiler Extensions (LLVM)
  • Multi-lingual (C, C++, Python)
  • Hardware Construction (VHDL, SystemVerilog)
  • System Simulation (gem5, RISC-V Spike)
  • Assembly/Binary Analysis
  • PCB Design

Current & Past Research Projects

Some exciting projects I've worked on (or still am!)

Morpheus Project

Morpheus, an EMTD-Based Secure Architecture (2017-Present)

Building a secure architecture based on ensembles of moving target defenses (EMTD) in hardware with dynamic re-randomization.

AUSSP

CubeSat Avionics (2013-2017)

Senior Avionics Engineer for the Auburn University Small Satellite Program (AUSSP).

Designed, built, and tested avionics subsystems for the Terrestrial RaYs Analysis & Detection (TRYAD) project, a two 6U Cube-Satellite mission sponsored by the National Science Foundation.

Publications

"Morpheus: A Vulnerability-Tolerant Secure Architecture Based on Ensembles of Moving Target Defenses with Churn"
M. Gallagher, L. Biernacki, S. Chen, Z.B. Aweke, S.F. Yitbarek, M.T. Aga, A. Harris, Z. Xu, B. Kasikci, V. Bertacco, S. Malik, M. Tiwari, T. Austin
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2019. To Appear

Contact Me

Feel free to use this form to send me any questions/comments you may have.