Follow
Benjamin A. Braun
Benjamin A. Braun
Graduate Candidate, CS, Stanford University
Verified email at stanford.edu - Homepage
Title
Cited by
Cited by
Year
Verifying computations with state
B Braun, AJ Feldman, Z Ren, S Setty, AJ Blumberg, M Walfish
Proceedings of the twenty-fourth ACM Symposium on Operating Systems …, 2013
2382013
Taking {Proof-Based} verified computation a few steps closer to practicality
S Setty, V Vu, N Panpalia, B Braun, AJ Blumberg, M Walfish
21st USENIX Security Symposium (USENIX Security 12), 253-268, 2012
2192012
Resolving the conflict between generality and plausibility in verified computation
S Setty, B Braun, V Vu, AJ Blumberg, B Parno, M Walfish
Proceedings of the 8th ACM European Conference on Computer Systems, 71-84, 2013
1702013
Robust and efficient elimination of cache and timing side channels
BA Braun, S Jana, D Boneh
arXiv preprint arXiv:1506.00189, 2015
602015
Mx1 and Mx2 key antiviral proteins are surprisingly lost in toothed whales
BA Braun, A Marcovitz, JG Camp, R Jia, G Bejerano
Proceedings of the National Academy of Sciences 112 (26), 8036-8040, 2015
492015
A functional enrichment test for molecular convergent evolution finds a clear protein-coding signal in echolocating bats and whales
A Marcovitz, Y Turakhia, HI Chen, M Gloudemans, BA Braun, H Wang, ...
Proceedings of the National Academy of Sciences 116 (42), 21094-21103, 2019
442019
Epitopes with similar physicochemical properties contribute to cross reactivity between peanut and tree nuts
JB Nesbit, CH Schein, BA Braun, SAY Gipson, H Cheng, BK Hurlburt, ...
Molecular immunology 122, 223-231, 2020
282020
Validation of a phage display and computational algorithm by mapping a conformational epitope of Bla g 2
R Tiwari, SS Negi, B Braun, W Braun, A Pomés, MD Chapman, ...
International archives of allergy and immunology 157 (4), 323-330, 2012
272012
Compiling computations to constraints for verified computation
B Braun
UT Austin Honors Thesis HR-12-10, 2012
222012
DGraph clusters flaviviruses and β-coronaviruses according to their hosts, disease type, and human cell receptors
BA Braun, CH Schein, W Braun
Bioinformatics and Biology Insights 15, 11779322211020316, 2021
152021
Smart window structures based on highly conductive, transparent metal nanomeshes and thermochromic perovskite films
SH Wu, G Cossio, B Braun, FCM Wu, ET Yu
Advanced Optical Materials 11 (6), 2202409, 2023
92023
EXCITE-VM: Extending the virtual memory system to support snapshot isolation transactions
H Litz, B Braun, D Cheriton
Proceedings of the 2016 International Conference on Parallel Architectures …, 2016
92016
A novel unbiased test for molecular convergent evolution and discoveries in echolocating, aquatic and high-altitude mammals
A Marcovitz, Y Turakhia, M Gloudemans, BA Braun, HI Chen, G Bejerano
bioRxiv, 170985, 2017
82017
Verifying computations with state (extended version)
B Braun, AJ Feldman, Z Ren, S Setty, AJ Blumberg, M Walfish
Cryptology ePrint Archive, 2013
52013
A novel unbiased test for molecular convergent evolution and discoveries in echolocating, aquatic and high-altitude mammals. bioRxiv
A Marcovitz, Y Turakhia, M Gloudemans, BA Braun, HI Chen, G Bejerano
22017
ddtrace: Rich performance monitoring in distributed systems
B Braun, H Qin
Technical report, Stanford University, 2015
22015
The TRaCaR Ratio: Selecting the Right Storage Technology for Active Dataset-Serving Databases
F Romero, B Braun, D Cheriton
arXiv preprint arXiv:2006.14793, 2020
12020
Multifactor authentication of secure transmission of data
MI Howald, M Walfish, AJ Blumberg, B Braun
US Patent App. 17/935,381, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–18