No photo of Tegan Brennan

View Scopus Profile

Tegan Brennan

20132026

Research activity per year

Fingerprint

Dive into the research topics where Tegan Brennan is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • Better Predicates and Heuristics for Improved Commutativity Synthesis

    Chen, A., Fathololumi, P., Nicola, M., Pincus, J., Brennan, T. & Koskinen, E., 2023, Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Proceedings. André, É. & Sun, J. (eds.). p. 93-113 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14216 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

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

    Saha, S., Downing, M., Brennan, T. & Bultan, T., 2022, Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2022. p. 1706-1717 12 p. (Proceedings - International Conference on Software Engineering; vol. 2022-May).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    11 Scopus citations

  • Detection and mitigation of JIT-induced side channels

    Brennan, T., 27 Jun 2020, Proceedings - 2020 ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings, ICSE-Companion 2020. p. 143-145 3 p. 3382174. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • JIT leaks: Inducing timing side channels through just-in-time compilation

    Brennan, T., Rosner, N. & Bultan, T., May 2020, Proceedings - 2020 IEEE Symposium on Security and Privacy, SP 2020. p. 1207-1222 16 p. 9152649. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2020-May).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    23 Scopus citations
View all 15 Research outputs