Brandon Paulsen
Title
Cited by
Cited by
Year
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
182018
ReluDiff: Differential Verification of Deep Neural Networks
B Paulsen, J Wang, C Wang
42nd International Conference on Software Engineering (ICSE '20), 2020
102020
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
32021
Beta-testing a requirements analysis tool
A Brooks, L Krebs, B Paulsen
ACM SIGSOFT Software Engineering Notes 39 (5), 1-6, 2014
32014
NeuroDiff: scalable differential verification of neural networks using fine-grained approximation
B Paulsen, J Wang, J Wang, C Wang
2020 35th IEEE/ACM International Conference on Automated Software …, 2020
22020
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
22019
DiffRNN: Differential Verification of Recurrent Neural Networks
S Mohammadinejad, B Paulsen, JV Deshmukh, C Wang
International Conference on Formal Modeling and Analysis of Timed Systems …, 2021
2021
debreach: Selective Dictionary Compression to Prevent BREACH and CRIME
B Paulsen
University of Minnesota, Duluth, 2017
2017
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–9