conf.researchr.org / Brandon Paulsen
Brandon Paulsen

Registered user since Tue 17 Sep 2019

Name:Brandon Paulsen
Country:United States
Affiliation:University of Southern California
Personal website:http://www-scf.usc.edu/~bpaulsen/
Research interests:Verification, Side Channel, Neural Networks

Contributions

ASE 2020 Author of NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation within the Research Papers-track
ASE 2019 Author of Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation within the Research Papers-track
ICSE 2020 Author of ReluDiff: Differential Verification of Deep Neural Networks within the Technical Papers-track