Follow
Brandon Paulsen
Brandon Paulsen
Amazon Web Services (AWS)
Verified email at usc.edu - Homepage
Title
Cited by
Cited by
Year
ReluDiff: Differential Verification of Deep Neural Networks
B Paulsen, J Wang, C Wang
42nd International Conference on Software Engineering (ICSE '20), 2020
462020
NEURODIFF: scalable differential verification of neural networks using fine-grained approximation
B Paulsen, J Wang, J Wang, C Wang
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
302020
CANAL: A cache timing analysis framework via llvm transformation
C Sung, B Paulsen, C Wang
The 33rd IEEE/ACM International Conference on Automated Software Engineering …, 2018
292018
DiffRNN: differential verification of recurrent neural networks
S Mohammadinejad, B Paulsen, JV Deshmukh, C Wang
Formal Modeling and Analysis of Timed Systems: 19th International Conference …, 2021
192021
LinSyn: Synthesizing tight linear bounds for arbitrary neural network activation functions
B Paulsen, C Wang
International Conference on Tools and Algorithms for the Construction and …, 2022
122022
Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation
B Paulsen, C Sung, PAH Peterson, C Wang
The 34th IEEE/ACM International Conference on Automated Software Engineering …, 2019
102019
Defending web servers against flash crowd attacks
R Tandon, A Palia, J Ramani, B Paulsen, G Bartlett, J Mirkovic
International Conference on Applied Cryptography and Network Security, 338-361, 2021
92021
Example guided synthesis of linear approximations for neural network verification
B Paulsen, C Wang
International Conference on Computer Aided Verification, 149-170, 2022
62022
Beta-testing a requirements analysis tool
A Brooks, L Krebs, B Paulsen
ACM SIGSOFT Software Engineering Notes 39 (5), 1-6, 2014
62014
Reludiff: Differential verification of deep neural networks. In 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE)
B Paulsen, J Wang, C Wang
IEEE, 2020
52020
debreach: Selective Dictionary Compression to Prevent BREACH and CRIME
B Paulsen
University of Minnesota, Duluth, 2017
22017
A Comparison of Sorting Times between Java 8 and Parallel Colt: an Exploratory Experiment
A Brooks, L Krebs, B Paulsen
ACM SIGSOFT Software Engineering Notes 41 (4), 1-5, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–12