conf.researchr.org / 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