Tegan Brennan

17 papers A* 5A 2B 1Journal 2Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
FedSlowdown: Efficiency Attacks Against Federated Learning of Adaptive Neural Networks.
BRIDGE/DeCaF@MICCAI
Ayomide Akinsanya, Tegan Brennan
2024 A* conf
Timing Channels in Adaptive Neural Networks.
NDSS
Ayomide Akinsanya, Tegan Brennan
2023 B conf
Better Predicates and Heuristics for Improved Commutativity Synthesis.
ATVA
Adam Chen, Parisa Fathololumi, Mihai Nicola, Jared Pincus, Tegan Brennan, Eric Koskinen
2022 A* conf
PREACH: A Heuristic for Probabilistic Reachability to Identify Hard to Reach Statements.
ICSE
Seemanta Saha, Mara Downing, Tegan Brennan, Tevfik Bultan
2020 — conf
Detection and mitigation of JIT-induced side channels.
ICSE (Companion Volume)
Tegan Brennan
2020 A* conf
JIT Leaks: Inducing Timing Side Channels through Just-In-Time Compilation.
SP
Tegan Brennan, Nicolás Rosner, Tevfik Bultan
2020 A* conf
JVM fuzzing for JIT-induced side-channel detection.
ICSE
Tegan Brennan, Seemanta Saha, Tevfik Bultan
2020 — —
Static and Dynamic Side Channels in Software.
Tegan Brennan
2019 A* conf
Subformula Caching for Model Counting and Quantitative Program Analysis.
ASE
William Eiers, Seemanta Saha, Tegan Brennan, Tevfik Bultan
2018 J jnl
Analytic tractography: A closed-form solution for estimating local white matter connectivity with diffusion MRI.
NeuroImage
Matthew Cieslak, Tegan Brennan, Wendy Meiring, Lukas J. Volz, Clint Greene, Alexander Asturias, Subhash Suri, Scott T. Grafton
2018 — conf
Compositional measures of diffusion anisotropy and asymmetry.
ISBI
Matthew Cieslak, Wendy Meiring, Tegan Brennan, Clint Greene, Lukas J. Volz, Jean M. Vettel, Subhash Suri, Scott T. Grafton
2018 — conf
Parameterized model counting for string and numeric constraints.
ESEC/SIGSOFT FSE
Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, Fang Yu
2018 — conf
Symbolic path cost analysis for side-channel detection.
ICSE (Companion Volume)
Tegan Brennan, Seemanta Saha, Tevfik Bultan
2018 A conf
Symbolic path cost analysis for side-channel detection.
ISSTA
Tegan Brennan, Seemanta Saha, Tevfik Bultan, Corina S. Pasareanu
2017 — conf
Constraint normalization and parameterized caching for quantitative program analysis.
ESEC/SIGSOFT FSE
Tegan Brennan, Nestan Tsiskaridze, Nicolás Rosner, Abdulbaki Aydin, Tevfik Bultan
2017 A conf
Path cost analysis for side channel detection.
ISSTA
Tegan Brennan
2013 J jnl
Testing Equality of Cell Populations Based on Shape and Geodesic Distance.
IEEE Trans. Medical Imaging
Charles R. Hagwood, Javier Bernal, Michael Halter, John T. Elliott, Tegan Brennan