Symbolic path cost analysis for side-channel detection T Brennan, S Saha, T Bultan, CS Păsăreanu Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018 | 41 | 2018 |
Parameterized model counting for string and numeric constraints A Aydin, W Eiers, L Bang, T Brennan, M Gavrilov, T Bultan, F Yu Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 33 | 2018 |
Jvm fuzzing for jit-induced side-channel detection T Brennan, S Saha, T Bultan Proceedings of the ACM/IEEE 42nd international conference on software …, 2020 | 27 | 2020 |
JIT leaks: Inducing timing side channels through just-in-time compilation T Brennan, N Rosner, T Bultan 2020 IEEE Symposium on Security and Privacy (SP), 1207-1222, 2020 | 27 | 2020 |
Constraint normalization and parameterized caching for quantitative program analysis T Brennan, N Tsiskaridze, N Rosner, A Aydin, T Bultan Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 27 | 2017 |
Testing equality of cell populations based on shape and geodesic distance C Hagwood, J Bernal, M Halter, J Elliott, T Brennan IEEE Transactions on Medical Imaging 32 (12), 2230-2237, 2013 | 16 | 2013 |
Analytic tractography: A closed-form solution for estimating local white matter connectivity with diffusion MRI M Cieslak, T Brennan, W Meiring, LJ Volz, C Greene, A Asturias, S Suri, ... NeuroImage 169, 473-484, 2018 | 11 | 2018 |
Subformula caching for model counting and quantitative program analysis W Eiers, S Saha, T Brennan, T Bultan 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 8 | 2019 |
PReach: a heuristic for probabilistic reachability to identify hard to reach statements S Saha, M Downing, T Brennan, T Bultan Proceedings of the 44th International Conference on Software Engineering …, 2022 | 5 | 2022 |
Static and Dynamic Side Channels in Software TS Brennan University of California, Santa Barbara, 2020 | 2 | 2020 |
Compositional measures of diffusion anisotropy and asymmetry M Cieslak, W Meiring, T Brennan, C Greene, LJ Volz, JM Vettel, S Suri, ... 2018 IEEE 15th International Symposium on Biomedical Imaging (ISBI 2018 …, 2018 | 2 | 2018 |
Better Predicates and Heuristics for Improved Commutativity Synthesis A Chen, P Fathololumi, M Nicola, J Pincus, T Brennan, E Koskinen International Symposium on Automated Technology for Verification and …, 2023 | | 2023 |
Better Predicate Pruning and Heuristics for Commutativity Synthesis A Chen, T Brennan, P Fathololumi, E Koskinen, M Nicola, J Pincus International Symposium on Automated Technology for Verification and Analysis, 2023 | | 2023 |
Detection and mitigation of JIT-induced side channels T Brennan Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | | 2020 |
Path cost analysis for side channel detection T Brennan Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017 | | 2017 |
Timing Channels in Adaptive Neural Networks A Akinsanya, T Brennan | | |
External Reviewers of ICSE 2020 S Abualhaija, J Aldrich, C Arora, S Benton, S Blackshear, T Brennan, ... | | |
Inducing JIT-Based Side Channels for Inferring Predicates about Secrets T Brennan, N Rosner, T Bultan | | |