Tegan Brennan

According to our database, Tegan Brennan authored at least 15 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Better Predicates and Heuristics for Improved Commutativity Synthesis.

Adam Chen, Parisa Fathololumi, Mihai Nicola, Jared Pincus, Tegan Brennan, Eric Koskinen

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

PREACH: A Heuristic for Probabilistic Reachability to Identify Hard to Reach Statements.

Seemanta Saha, Mara Downing, Tegan Brennan, Tevfik Bultan

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2020

Static and Dynamic Side Channels in Software.

Tegan Brennan

PhD thesis, 2020

JIT Leaks: Inducing Timing Side Channels through Just-In-Time Compilation.

Tegan Brennan, Nicolás Rosner, Tevfik Bultan

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

JVM fuzzing for JIT-induced side-channel detection.

Tegan Brennan, Seemanta Saha, Tevfik Bultan

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Detection and mitigation of JIT-induced side channels.

Tegan Brennan

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

2019

Subformula Caching for Model Counting and Quantitative Program Analysis.

William Eiers, Seemanta Saha, Tegan Brennan, Tevfik Bultan

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018

Analytic tractography: A closed-form solution for estimating local white matter connectivity with diffusion MRI.

Matthew Cieslak, Tegan Brennan, Wendy Meiring, Lukas J. Volz, Clint Greene, Alexander Asturias, Subhash Suri, Scott T. Grafton

NeuroImage, 2018

Parameterized model counting for string and numeric constraints.

Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, Fang Yu

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Symbolic path cost analysis for side-channel detection.

Tegan Brennan, Seemanta Saha, Tevfik Bultan, Corina S. Pasareanu

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Compositional measures of diffusion anisotropy and asymmetry.

Matthew Cieslak, Wendy Meiring, Tegan Brennan, Clint Greene, Lukas J. Volz, Jean M. Vettel, Subhash Suri, Scott T. Grafton

Proceedings of the 15th IEEE International Symposium on Biomedical Imaging, 2018

Symbolic path cost analysis for side-channel detection.

Tegan Brennan, Seemanta Saha, Tevfik Bultan

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Constraint normalization and parameterized caching for quantitative program analysis.

Tegan Brennan, Nestan Tsiskaridze, Nicolás Rosner, Abdulbaki Aydin, Tevfik Bultan

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Path cost analysis for side channel detection.

Tegan Brennan

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

2013

Testing Equality of Cell Populations Based on Shape and Geodesic Distance.

Charles R. Hagwood, Javier Bernal, Michael Halter, John T. Elliott, Tegan Brennan

IEEE Trans. Medical Imaging, 2013