Name:Tegan Brennan

Country:United States

Affiliation:Stevens Institute of Technology

Research interests:side-channel analysis, software verification, quantitative program analysis, symbolic execution