Christoph M Wintersteiger

Christoph M Wintersteiger

Microsoft Research - - / United States
Business & Management / Decision Science and Operations Management
AD Scientific Index ID: 4393083
person_outline Christoph M Wintersteiger's MOST POPULAR ARTICLES
1-) Efficiently solving quantified bit-vector formulasCM Wintersteiger, Y Hamadi, L De MouraFormal Methods in System Design 42 (1), 3-23, 20131342013
2-) Evercrypt: A fast, verified, cross-platform cryptographic providerJ Protzenko, B Parno, A Fromherz, C Hawblitzel, M Polubelova, ...2020 IEEE Symposium on Security and Privacy (SP), 983-1002, 20201002020
3-) Termination analysis with compositional transition invariantsD Kroening, N Sharygina, A Tsitovich, CM WintersteigerInternational Conference on Computer Aided Verification, 89-103, 2010992010
4-) A concurrent portfolio approach to SMT solvingCM Wintersteiger, Y Hamadi, L De MouraComputer Aided Verification: 21st International Conference, CAV 2009 …, 20091032009
5-) Ranking function synthesis for bit-vector relationsB Cook, D Kroening, P Rümmer, CM WintersteigerFormal methods in system design 43 (1), 93-120, 20131022013