| Evercrypt: A fast, verified, cross-platform cryptographic provider J Protzenko, B Parno, A Fromherz, C Hawblitzel, M Polubelova, ... 2020 IEEE Symposium on Security and Privacy (SP), 983-1002, 2020 | 159 | 2020 |
| Efficiently solving quantified bit-vector formulas CM Wintersteiger, Y Hamadi, L De Moura Formal Methods in System Design 42 (1), 3-23, 2013 | 151 | 2013 |
| SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data S Woodhouse, N Piterman, CM Wintersteiger, B Göttgens, J Fisher BMC systems biology 12 (1), 59, 2018 | 112 | 2018 |
| A concurrent portfolio approach to SMT solving CM Wintersteiger, Y Hamadi, L De Moura International Conference on Computer Aided Verification, 715-720, 2009 | 109 | 2009 |
| Termination analysis with compositional transition invariants D Kroening, N Sharygina, A Tsitovich, CM Wintersteiger International Conference on Computer Aided Verification, 89-103, 2010 | 104 | 2010 |
| CCF: A framework for building confidential verifiable replicated services M Russinovich, E Ashton, C Avanessians, M Castro, A Chamayou, ... Microsoft, Redmond, WA, USA, Tech. Rep. MSR-TR-2019-16, 2019 | 102 | 2019 |
| Programming Z3 N Bjørner, L de Moura, L Nachmanson, CM Wintersteiger International Summer School on Engineering Trustworthy Software Systems, 148-201, 2018 | 102 | 2018 |
| Ranking function synthesis for bit-vector relations B Cook, D Kroening, P Rümmer, CM Wintersteiger Formal methods in system design 43 (1), 93-120, 2013 | 100 | 2013 |
| Seven challenges in parallel SAT solving Y Hamadi, C Wintersteiger Ai Magazine 34 (2), 99-99, 2013 | 99 | 2013 |
| Loop summarization using abstract transformers D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger International Symposium on Automated Technology for Verification and …, 2008 | 74 | 2008 |
| Loop summarization and termination analysis A Tsitovich, N Sharygina, CM Wintersteiger, D Kroening International Conference on Tools and Algorithms for the Construction and …, 2011 | 71 | 2011 |
| A first step towards a unified proof checker for QBF T Jussila, A Biere, C Sinz, D Kröning, CM Wintersteiger International Conference on Theory and Applications of Satisfiability …, 2007 | 68 | 2007 |
| Stochastic local search for satisfiability modulo theories A Fröhlich, A Biere, C Wintersteiger, Y Hamadi Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 54 | 2015 |
| Deciding bit-vector formulas with mcSAT A Zeljić, CM Wintersteiger, P Rümmer International Conference on Theory and Applications of Satisfiability …, 2016 | 44 | 2016 |
| {IA-CCF}: Individual accountability for permissioned ledgers A Shamis, P Pietzuch, B Canakci, M Castro, C Fournet, E Ashton, ... 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2022 | 38 | 2022 |
| SMT-based analysis of biological computation B Yordanov, CM Wintersteiger, Y Hamadi, H Kugler NASA formal methods symposium, 78-92, 2013 | 36 | 2013 |
| Snmalloc: a message passing allocator P Liétar, T Butler, S Clebsch, S Drossopoulou, J Franco, MJ Parkinson, ... Proceedings of the 2019 ACM SIGPLAN International Symposium on Memory …, 2019 | 35 | 2019 |
| Loop summarization using state and transition invariants D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger Formal Methods in System Design 42 (3), 221-261, 2013 | 32 | 2013 |
| Confidential consortium framework: Secure multiparty applications with confidentiality, integrity, and high availability H Howard, F Alder, E Ashton, A Chamayou, S Clebsch, M Costa, ... arXiv preprint arXiv:2310.11559, 2023 | 29 | 2023 |
| Analyzing and synthesizing genomic logic functions N Paoletti, B Yordanov, Y Hamadi, CM Wintersteiger, H Kugler International Conference on Computer Aided Verification, 343-357, 2014 | 29 | 2014 |
Daniel KroeningAmazonVerified email at amazon.com
