ISSTA/ECOOP 2024 (series) / Tegan Brennan
Registered user since Wed 31 May 2023
Name:Tegan Brennan
Country:United States
Affiliation:Stevens Institute of Technology
Research interests:side-channel analysis, software verification, quantitative program analysis, symbolic execution
Contributions
Using general profile