[go: up one dir, main page]

Follow
Christoph M. Wintersteiger
Christoph M. Wintersteiger
Imandra
Verified email at imandra.ai - Homepage
Title
Cited by
Cited by
Year
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
1592020
Efficiently solving quantified bit-vector formulas
CM Wintersteiger, Y Hamadi, L De Moura
Formal Methods in System Design 42 (1), 3-23, 2013
1512013
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
1122018
A concurrent portfolio approach to SMT solving
CM Wintersteiger, Y Hamadi, L De Moura
International Conference on Computer Aided Verification, 715-720, 2009
1092009
Termination analysis with compositional transition invariants
D Kroening, N Sharygina, A Tsitovich, CM Wintersteiger
International Conference on Computer Aided Verification, 89-103, 2010
1042010
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
1022019
Programming Z3
N Bjørner, L de Moura, L Nachmanson, CM Wintersteiger
International Summer School on Engineering Trustworthy Software Systems, 148-201, 2018
1022018
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
1002013
Seven challenges in parallel SAT solving
Y Hamadi, C Wintersteiger
Ai Magazine 34 (2), 99-99, 2013
992013
Loop summarization using abstract transformers
D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger
International Symposium on Automated Technology for Verification and …, 2008
742008
Loop summarization and termination analysis
A Tsitovich, N Sharygina, CM Wintersteiger, D Kroening
International Conference on Tools and Algorithms for the Construction and …, 2011
712011
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
682007
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
542015
Deciding bit-vector formulas with mcSAT
A Zeljić, CM Wintersteiger, P Rümmer
International Conference on Theory and Applications of Satisfiability …, 2016
442016
{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
382022
SMT-based analysis of biological computation
B Yordanov, CM Wintersteiger, Y Hamadi, H Kugler
NASA formal methods symposium, 78-92, 2013
362013
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
352019
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
322013
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
292023
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
292014
The system can't perform the operation now. Try again later.
Articles 1–20