Christoph M. Wintersteiger

According to our database, Christoph M. Wintersteiger authored at least 47 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Confidential Container Groups.

Matthew A. Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Christoph M. Wintersteiger, Sylvan Clebsch, John Starks, Manuel Costa

Commun. ACM, October, 2024

Confidential Container Groups: Implementing confidential computing on Azure container instances.

Matthew A. Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Christoph M. Wintersteiger, Sylvan Clebsch, John Starks, Manuel Costa

ACM Queue, 2024

2023

The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models.

Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, Himanshu Arora, Hillel Kugler, Christoph M. Wintersteiger

J. Comput. Biol., September, 2023

Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability.

Heidi Howard, Fritz Alder, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus A. Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger

Proc. VLDB Endow., 2023

COCOAEXPO: Confidential Containers via Attested Execution Policies.

Matthew A. Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Christoph M. Wintersteiger, Sylvan Clebsch, John Starks, Manuel Costa

CoRR, 2023

2022

IA-CCF: Individual Accountability for Permissioned Ledgers.

Alex Shamis, Peter R. Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich

Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022

An SMT-Based Framework for Reasoning About Discrete Biological Models.

Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, Hillel Kugler, Christoph M. Wintersteiger

Proceedings of the Bioinformatics Research and Applications - 18th International Symposium, 2022

2021

Discovering Essential Multiple Gene Effects Through Large Scale Optimization: An Application to Human Cancer Metabolism.

Annalisa Occhipinti, Youssef Hamadi, Hillel Kugler, Christoph M. Wintersteiger, Boyan Yordanov, Claudio Angione

IEEE ACM Trans. Comput. Biol. Bioinform., 2021

2020

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.

Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella Béguelin

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2019

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.

Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella Béguelin

IACR Cryptol. ePrint Arch., 2019

snmalloc: a message passing allocator.

Paul Liétar, Theodore Butler, Sylvan Clebsch, Sophia Drossopoulou, Juliana Franco, Matthew J. Parkinson, Alex Shamis, Christoph M. Wintersteiger, David Chisnall

Proceedings of the 2019 ACM SIGPLAN International Symposium on Memory Management, 2019

2018

Large-scale Genetic Exploration of Genome-wide Models: an Application to Human Cancer Metabolism.

Youssef Hamadi, Claudio Angione, Hillel Kugler, Christoph M. Wintersteiger, Boyan Yordanov

Dataset, November, 2018

SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data.

Steven Woodhouse, Nir Piterman, Christoph M. Wintersteiger, Berthold Göttgens, Jasmin Fisher

BMC Syst. Biol., 2018

Compositional Taylor Model Based Validated Integration.

Kristjan Liiva, Paul B. Jackson, Grant O. Passmore, Christoph M. Wintersteiger

Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

Programming Z3.

Nikolaj S. Bjørner, Leonardo de Moura, Lev Nachmanson, Christoph M. Wintersteiger

Proceedings of the Engineering Trustworthy Software Systems - 4th International School, 2018

Learning-Sensitive Backdoors with Restarts.

Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh

Proceedings of the Principles and Practice of Constraint Programming, 2018

The Effect of Structural Measures and Merges on SAT Solver Performance.

Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh

Proceedings of the Principles and Practice of Constraint Programming, 2018

Exploring Approximations for Floating-Point Arithmetic Using UppSAT.

Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rümmer

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

Parallel Satisfiability Modulo Theories.

Antti E. J. Hyvärinen, Christoph M. Wintersteiger

Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017

An Approximation Framework for Solvers and Decision Procedures.

Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer

J. Autom. Reason., 2017

Relating Complexity-theoretic Parameters with SAT Solver Performance.

Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Liang, Krzysztof Czarnecki, Vijay Ganesh

CoRR, 2017

2016

Automated Synthesis and Analysis of Switching Gene Regulatory Networks.

Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Tomoki Otani, Youssef Hamadi, Frederick J. Livesey, Hillel Kugler

Biosyst., 2016

Deciding Bit-Vector Formulas with mcSAT.

Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

On Intervals and Bounds in Bit-vector Arithmetic.

Mikolás Janota, Christoph M. Wintersteiger

Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, 2016

Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis.

Peter Backeman, Christoph M. Wintersteiger, Boyan Yordanov, Sara-Jane Dunn

Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, 2016

2015

Switching Gene Regulatory Networks.

Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler

Proceedings of the Information Processing in Cells and Tissues, 2015

Stochastic Local Search for Satisfiability Modulo Theories.

Andreas Fröhlich, Armin Biere, Christoph M. Wintersteiger, Youssef Hamadi

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains.

Markus N. Rabe, Christoph M. Wintersteiger, Hillel Kugler, Boyan Yordanov, Youssef Hamadi

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Analyzing and Synthesizing Genomic Logic Functions.

Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

Approximations for Model Construction.

Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

Efficiently solving quantified bit-vector formulas.

Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura

Formal Methods Syst. Des., 2013

Loop summarization using state and transition invariants.

Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger

Formal Methods Syst. Des., 2013

Ranking function synthesis for bit-vector relations.

Byron Cook, Daniel Kroening, Philipp Rümmer, Christoph M. Wintersteiger

Formal Methods Syst. Des., 2013

Seven Challenges in Parallel SAT Solving.

Youssef Hamadi, Christoph M. Wintersteiger

AI Mag., 2013

SMT-Based Analysis of Biological Computation.

Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler

Proceedings of the NASA Formal Methods, 2013

Resourceful Reachability as HORN-LA.

Josh Berdine, Nikolaj S. Bjørner, Samin Ishtiaq, Jael E. Kriener, Christoph M. Wintersteiger

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Functional Analysis of Large-Scale DNA Strand Displacement Circuits.

Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler

Proceedings of the DNA Computing and Molecular Programming - 19th International Conference, 2013

2012

Diagnosing Abstraction Failure for Separation Logic-Based Analyses.

Josh Berdine, Arlen Cox, Samin Ishtiaq, Christoph M. Wintersteiger

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Termination Analysis for Bit-Vector Programs.

Christoph M. Wintersteiger

PhD thesis, 2011

Lazy Decomposition for Distributed Decision Procedures

Youssef Hamadi, João Marques-Silva, Christoph M. Wintersteiger

Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011

Loop Summarization and Termination Analysis.

Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, Daniel Kroening

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

2010

Termination Analysis with Compositional Transition Invariants.

Daniel Kroening, Natasha Sharygina, Aliaksei Tsitovich, Christoph M. Wintersteiger

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Loopfrog - loop summarization for static analysis.

Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger

Proceedings of the Second International Workshop on Invariant Generation, 2010

2009

Loopfrog: A Static Analyzer for ANSI-C Programs.

Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger

Proceedings of the ASE 2009, 2009

A Concurrent Portfolio Approach to SMT Solving.

Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Loop Summarization Using Abstract Transformers.

Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

A First Step Towards a Unified Proof Checker for QBF.

Toni Jussila, Armin Biere, Carsten Sinz, Daniel Kröning, Christoph M. Wintersteiger

Proceedings of the Theory and Applications of Satisfiability Testing, 2007