Tegan Brennan (tbrenna5)

Tegan Brennan

Assistant Professor

Education

  • PhD (2020) University of California Santa Barbara (Computer Science)

Research

Software verification, side-channel analysis, computer security, program analysis. Currently recruiting students for my lab! Interested students are welcome to reach out by e-mail.

Experience

Applied Scientist at Amazon, 2020

Institutional Service

  • Upsilon Pi Epsilon Chair
  • Faculty Search Committee Member
  • Faculty Search Committee Member

Professional Service

  • Transactions on Software Engineering TSE Review Board Member
  • 2022 IEEE Secure Development (SecDev) conference Program Committee Member
  • Transactions on Software Engineering and Methodology Reviewer
  • IEEE Security and Privacy IEEE Security and Privacy Awards Chair
  • 2023 ACM SIGSOFT International Symposium on Software Testing and Analysis Program Committee Member
  • IEEE Computer Security Foundations Symposium Program Committee Member
  • 2022 ACM SIGSOFT International Symposium on Software Testing and Analysis Program Committee Member
  • Workshop on Binary Analysis Research (BAR) 2022 Program Committee Member
  • Workshop on Foundations of Computer Security Program Committee Member
  • Workshop on Foundations of Computer Security Program Committee Member
  • IEEE Security and Privacy IEEE Security and Privacy Awards Chair

Appointments

Stevens Institute of Technology, Assistant Professor, 2021 - present

Honors and Awards

University of California Santa Barbara Outstanding Dissertation Award, 2020

International Conference on Software Engineering (ICSE) Student Research Competition Third Place, 2020

Rising Stars Workshop Participant, UIUC 2019

UCSB Outstanding Student in Computer Science, 2019

NCWIT Collegiate Award Honorable Mention, 2018

Professional Societies

  • IEEE – Institute of Electrical and Electronics Engineers Member
  • ACM – Association for Computing Machinery Member

Selected Publications

Seemanta Saha, Mara Downing, Tegan Brennan, Tevfik Bultan. PReach: A Heuristic for Probabilistic Reachability to Identify
Hard to Reach Statements
. Proceedings of the 44th International Conference on Software Engineering, Seoul, South Korea (ICSE 2022).

Tegan Brennan, Seemanta Saha, Tevfik Bultan. JVM Fuzzing for JIT-Induced Side-Channel Detection. Proceedings of the 42nd International Conference on Software Engineering, Seoul, South Korea (ICSE 2020).

Tegan Brennan, Nicolas Rosner, Tevfik Bultan. JIT Leaks: Inducing Timing Side Channels Through Just-in-Time Compilation. Proceedings of the 41st IEEE Symposium on Security and Privacy, San Francisco, California, USA (S&P 2020).

William Eiers, Seemanta Saha, Tegan Brennan, Tevfik Bultan. Subformula Caching for Model Counting and Quantitative Program Analysis. 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) 400--410.

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) 27--37.

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)123–126.

Matthew Cieslak, Tegan Brennan, Wendy Meiring, Lukas J. Volz, Alex Asturias, Subhash Suri, Scott Grafton. Analytic tractography: A closed-form solution for estimating local white matter connectivity with diffusion MRI. NeuroImage 2018 169: 473--484.

Tegan Brennan, Nestan Tsiskaridze, Nicolas Rosner, Abdulbaki Aydin, 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) 535--546.

Courses

CS284, Spring 2021
CS516, Fall 2021
CS284, Spring 2022
CS284, Fall 2022