Concepedia

Tegan Brennan

TB

8

Publications

152

Citations

8

H-Index

2017

Active since

Affiliations

University of California, Santa Barbara(Current)

Tegan Brennan is an author at University of California, Santa Barbara specializing in software analysis, program analysis, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationFormal MethodsComputer EngineeringSoftware EngineeringData SecuritySystem Software

Publications per year

2017–2022

8

Publications

8

Parameterized model counting for string and numeric constraints

Abdulbaki Aydin, William Eiers, Lucas Bang et al. · 2018 · 32 citations · Full text

Engineering, Verification, Software Engineering +22

JVM fuzzing for JIT-induced side-channel detection

Tegan Brennan, Seemanta Saha, Tevfik Bultan · 2020 · 26 citations · Full text

Engineering, Information Security, Software Engineering +22

Symbolic path cost analysis for side-channel detection

Tegan Brennan, Seemanta Saha, Tevfik Bultan et al. · 2018 · 22 citations · Full text

Engineering, Information Security, Control Flow Paths +21

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

Tegan Brennan, Nicolás Rosner, Tevfik Bultan · 2020 · 20 citations · Full text

Engineering, Compiler Technology, Software Engineering +21

Constraint normalization and parameterized caching for quantitative program analysis

Tegan Brennan, Nestan Tsiskaridze, Nicolás Rosner et al. · 2017 · 17 citations

Mathematical Programming, Program Checking, Engineering +18

Rows per page

1–5 of 8