Tegan Brennan

University of California Santa Barbara
Computer Science Department

About me

I’m a graduate student researcher and PhD candidate at the University of California, Santa Barbara on the academic job market this year. I work with Tevfik Bultan in the Verification Lab. My interests broadly involve program analysis for security-driven concerns. For the past few years, I have focused my research towards side-channel vulnerabilities in software. I've developed tools for their automatic detection and quantificaiton, and I'm currently researching timing side channels introduced at runtime by just-in-time (JIT) compilation. Prior to starting my PhD, I received my bachelors degree from Princeton University in mathematics. Outside of lab, I am a competitive ballroom dancer and an aerialist.

News

December 9: Our paper "JVM Fuzzing for JIT-Induced Side-Channel Detection" accepted to ICSE 2020.

November 10 - 15: Attending ASE 2019 in San Diego.

October 29 - November 1: Attending the Rising Stars Workshop at UIUC.

July 15 - July 18: Attending CAV at the New School in NYC.

June 14 - Sept 14: Internship with Amazon's Automated Reasoning Group.

June: Chosen as UCSB's Outstanding Student in Computer Science for 2019.

June: Our paper "JIT Leaks: Inducing Timing Side Channels Through Just-In-Time Compilation" accepted to IEEE Security and Privacy 2020.

Publications

DBLP     Google Scholar

  • Tegan Brennan, Seemanta Saha, Tevfik Bultan. JVM Fuzzing for JIT-Induced Side-Channel Detection. To appear in Proceedings of the 42nd International Conference on Software Engineering, Seoul, South Korea (ICSE 2020).  
  • Tegan Brennan, Nicolás Rosner, Tevfik Bultan. JIT Leaks: Inducing Timing Side Channels through Just-In-Time Compilation. To appear in Proceedings of the 41st IEEE Symposium on Security and Privacy, San Francisco, California, USA (Security and Privacy 2020).  
  • William Eiers, Seemanta Saha, Tegan Brennan, Tevfik Bultan. Subformula Caching for Model Counting and Quantitative Program Analysis. To appear in Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, San Diego, California, USA (ASE 2019).  
  • Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, Fang Yu. Parameterized Model Counting for String and Numeric Constraints. Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Lake Buena Vista, FL, USA (FSE 2018).  
  • Tegan Brennan, Seemanta Saha, Tevfik Bultan, Corina S. Pasareanu. Symbolic Path Cost Analysis for Side Channel Detection. Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, Amsterdam, The Netherlands (ISSTA 2018).  
  • Matthew Cieslak, Wendy Meiring, Tegan Brennan, Clint Greene, Lukas Volz, Jean Marie Vettel, Subhash Suri, Scott Grafton. Compositional measures of diffusion anisotropy and asymmetry. 15th IEEE International Symposium on Biomedical Imaging, Washington, DC, USA (ISBI 2018).  
  • Tegan Brennan, Seemanta Saha, Tevfik Bultan. Symbolic path cost analysis for side-channel detection. International Conference on Software Engineering: Companion Proceedings, Gothenburg, Sweden (ICSE 2018 Poster Track).  
  • Matthew Cieslak, Tegan Brennan, Wendy Meiring, Lukas Volz, Alex Asturias, Subhash Suri, Scott Grafton. Analytic tractography: A closed-form solution for estimating local white matter connectivity with diffusion MRI. NeuroImage 2018.  
  • Tegan Brennan, Nestan Tsiskaridze, Nicolás Rosner, Abdulbaki Aydın, Tevfik Bultan. Constraint normalization and parameterized caching for quantitative program analysis. Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, Paderborn, Germany (FSE 2017).  
  • Tegan Brennan. Path Cost Analysis for Side Channel Detection. Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA (ISSTA Doctoral Symposium 2017).  
  • Charles Hagwood, Javier Bernal, Michael Halter, John Elliott, Tegan Brennan Testing Equality of Cell Populations Based on Shape and Geodesic Distance. IEEE Transactions on Medical Imaging, vol. 32, no. 12, pp. 2230-2237, Dec. 2013.  

Contact info

Department of Computer Science
University of California Santa Barbara
Santa Barbara, CA 93106

Office: 2162 Harold Frank Hall
Email: tegan /at/ cs.ucsb.edu