Author

Tegan Brennan

Observed name: Brennan, Tegan

Institution: Stevens Institute of Technology

Observed institutions: Stevens Institute of Technology, University of California, Santa Barbara

ORCID: 0000-0002-9988-8630

Observed ORCID: 0000-0002-9988-8630

OpenAlex ID: A5011404640

Parameterized model counting for string and numeric constraints

2018 · Abdulbaki Aydin, William Eiers, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 34

PDF

JVM fuzzing for JIT-induced side-channel detection

2020 · Tegan Brennan, Seemanta Saha, et al. · 26

PDF

Symbolic path cost analysis for side-channel detection

2018 · Tegan Brennan, Seemanta Saha, et al. · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 26

PDF

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

2020 · Tegan Brennan, Nicolas Rosner, et al. · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · 22

PDF

Constraint normalization and parameterized caching for quantitative program analysis

2017 · Tegan Brennan, Nestan Tsiskaridze, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 17

PReach

2022 · Seemanta Saha, Mara Downing, et al. · Proceedings/Proceedings - International Conference on Software Engineering · 11

PDF

Subformula Caching for Model Counting and Quantitative Program Analysis

2019 · William Eiers, Seemanta Saha, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 11

Symbolic path cost analysis for side-channel detection

2018 · Tegan Brennan, Seemanta Saha, et al. · 11

PDF

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

2017 · Matthew Cieslak, Tegan Brennan, et al. · NeuroImage · 11

Better Predicates and Heuristics for Improved Commutativity Synthesis

2023 · Adam Chen, Parisa Fathololumi, et al. · Lecture notes in computer science · 2

Compositional measures of diffusion anisotropy and asymmetry

2018 · Matthew Cieslak, Wendy Meiring, et al. · IEEE International Symposium on Biomedical Imaging (ISBI) · 2

Timing Channels in Adaptive Neural Networks

2024 · Ayomide Akinsanya, Tegan Brennan · Network and Distributed System Security Symposium · 1

PDF

FedLeaks: Creating Timing Channel Leaks in Federated Learning of Adaptive Neural Networks

2026 · Ayomide Akinsanya, Tegan Brennan · ACM Asia Conference on Computer and Communications Security (ASIA CCS)

Detection and mitigation of JIT-induced side channels

2020 · Tegan Brennan · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

PDF

Static and Dynamic Side Channels in Software

2020 · Tegan Brennan · eScholarship (California Digital Library)

Poster: Symbolic Path Cost Analysis for Side-Channel Detection

2018 · Tegan Brennan, Seemanta Saha, et al.

Path cost analysis for side channel detection

2017 · Tegan Brennan · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)

Works count: 21

Citation count: 174

H-index: 9

I10-index: 9