| 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 | 205 | 2013 |
| Taking Proof-Based Verified Computation a Few Steps Closer to Practicality. STV Setty, V Vu, N Panpalia, B Braun, AJ Blumberg, M Walfish USENIX Security Symposium, 253-268, 2012 | 194 | 2012 |
| 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 | 154 | 2013 |
| Robust and efficient elimination of cache and timing side channels BA Braun, S Jana, D Boneh arXiv preprint arXiv:1506.00189, 2015 | 53 | 2015 |
| 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 | 38 | 2015 |
| 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 | 32 | 2019 |
| 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 | 24 | 2012 |
| 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 | 21 | 2020 |
| Compiling computations to constraints for verified computation B Braun UT Austin Honors Thesis HR-12-10, 2012 | 19 | 2012 |
| Taking proof-based verified computation a few steps closer to practicality (extended version) S Setty, V Vu, N Panpalia, B Braun, M Ali, AJ Blumberg, M Walfish Cryptology ePrint Archive, 2012 | 10 | 2012 |
| 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 | 9 | 2021 |
| 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 | 8 | 2017 |
| 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 | 8 | 2016 |
| 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 | 2 | 2017 |
| ddtrace: Rich performance monitoring in distributed systems B Braun, H Qin Technical report, Stanford University, 2015 | 2 | 2015 |
| Verifying computations with state (extended version) B Braun, AJ Feldman, Z Ren, S Setty, AJ Blumberg, M Walfish Cryptology ePrint Archive, 2013 | 2 | 2013 |
| 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 | 1 | 2020 |
| Multifactor authentication of secure transmission of data MI Howald, M Walfish, AJ Blumberg, B Braun US Patent App. 17/935,381, 2023 | | 2023 |
| 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, 2202409, 2023 | | 2023 |
