Christoph M. Wintersteiger

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 26

Top Topics

Satisfiability Modulo Theories

Message Passing

Regulatory Networks

Top Venues

Publications

Matthew A. Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Christoph M. Wintersteiger, Sylvan Clebsch, John Starks, Manuel Costa
Confidential Container Groups: Implementing confidential computing on Azure container instances. ACM Queue 22 (2) (2024)
Matthew A. Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Christoph M. Wintersteiger, Sylvan Clebsch, John Starks, Manuel Costa
COCOAEXPO: Confidential Containers via Attested Execution Policies. CoRR (2023)
Heidi Howard, Fritz Alder, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Manual Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability. Proc. VLDB Endow. 17 (2) (2023)
Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, Himanshu Arora, Hillel Kugler, Christoph M. Wintersteiger
The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models. J. Comput. Biol. 30 (9) (2023)
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
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability. CoRR (2023)
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
IA-CCF: Individual Accountability for Permissioned Ledgers. NSDI (2022)
Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, Hillel Kugler, Christoph M. Wintersteiger
An SMT-Based Framework for Reasoning About Discrete Biological Models. ISBRA (2022)
Annalisa Occhipinti, Youssef Hamadi, Hillel Kugler, Christoph M. Wintersteiger, Boyan Yordanov, Claudio Angione
Discovering Essential Multiple Gene Effects Through Large Scale Optimization: An Application to Human Cancer Metabolism. IEEE ACM Trans. Comput. Biol. Bioinform. 18 (6) (2021)
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
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. IEEE Symposium on Security and Privacy (2020)
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
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. IACR Cryptol. ePrint Arch. 2019 (2019)
Paul Liétar, Theodore Butler, Sylvan Clebsch, Sophia Drossopoulou, Juliana Franco, Matthew J. Parkinson, Alex Shamis, Christoph M. Wintersteiger, David Chisnall
snmalloc: a message passing allocator. ISMM (2019)
Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rümmer
Exploring Approximations for Floating-Point Arithmetic Using UppSAT. IJCAR (2018)
Kristjan Liiva, Paul B. Jackson, Grant O. Passmore, Christoph M. Wintersteiger
Compositional Taylor Model Based Validated Integration. SYNASC (2018)
Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh
The Effect of Structural Measures and Merges on SAT Solver Performance. CP (2018)
Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh
Learning-Sensitive Backdoors with Restarts. CP (2018)
Nikolaj Bjørner, Leonardo de Moura, Lev Nachmanson, Christoph M. Wintersteiger
Programming Z3. SETSS (2018)
Steven Woodhouse, Nir Piterman, Christoph M. Wintersteiger, Berthold Göttgens, Jasmin Fisher
SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data. BMC Syst. Biol. 12 (1) (2018)
Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Liang, Krzysztof Czarnecki, Vijay Ganesh
Relating Complexity-theoretic Parameters with SAT Solver Performance. CoRR (2017)
Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rümmer
Exploring Approximations for Floating-Point Arithmetic using UppSAT. CoRR (2017)
Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer
An Approximation Framework for Solvers and Decision Procedures. J. Autom. Reason. 58 (1) (2017)
Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Tomoki Otani, Youssef Hamadi, Frederick J. Livesey, Hillel Kugler
Automated Synthesis and Analysis of Switching Gene Regulatory Networks. Biosyst. 146 (2016)
Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer
Deciding Bit-Vector Formulas with mcSAT. SAT (2016)
Mikolás Janota, Christoph M. Wintersteiger
On Intervals and Bounds in Bit-vector Arithmetic. SMT@IJCAR (2016)
Peter Backeman, Christoph M. Wintersteiger, Boyan Yordanov, Sara-Jane Dunn
Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis. SMT@IJCAR (2016)
Andreas Fröhlich, Armin Biere, Christoph M. Wintersteiger, Youssef Hamadi
Stochastic Local Search for Satisfiability Modulo Theories. AAAI (2015)
Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler
Switching Gene Regulatory Networks. IPCAT (2015)
Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer
Approximations for Model Construction. IJCAR (2014)
Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler
Analyzing and Synthesizing Genomic Logic Functions. CAV (2014)
Markus N. Rabe, Christoph M. Wintersteiger, Hillel Kugler, Boyan Yordanov, Youssef Hamadi
Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains. QEST (2014)
Josh Berdine, Nikolaj Bjørner, Samin Ishtiaq, Jael E. Kriener, Christoph M. Wintersteiger
Resourceful Reachability as HORN-LA. LPAR (2013)
Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler
SMT-Based Analysis of Biological Computation. NASA Formal Methods (2013)
Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
Loop summarization using state and transition invariants. Formal Methods Syst. Des. 42 (3) (2013)
Youssef Hamadi, Christoph M. Wintersteiger
Seven Challenges in Parallel SAT Solving. AI Mag. 34 (2) (2013)
Byron Cook, Daniel Kroening, Philipp Rümmer, Christoph M. Wintersteiger
Ranking function synthesis for bit-vector relations. Formal Methods Syst. Des. 43 (1) (2013)
Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura
Efficiently solving quantified bit-vector formulas. Formal Methods Syst. Des. 42 (1) (2013)
Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler
Functional Analysis of Large-Scale DNA Strand Displacement Circuits. DNA (2013)
Josh Berdine, Arlen Cox, Samin Ishtiaq, Christoph M. Wintersteiger
Diagnosing Abstraction Failure for Separation Logic-Based Analyses. CAV (2012)
Youssef Hamadi, Christoph M. Wintersteiger
Seven Challenges in Parallel SAT Solving. AAAI (2012)
Youssef Hamadi, João Marques-Silva, Christoph M. Wintersteiger
Lazy Decomposition for Distributed Decision Procedures PDMC (2011)
Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, Daniel Kroening
Loop Summarization and Termination Analysis. TACAS (2011)
Byron Cook, Daniel Kroening, Philipp Rümmer, Christoph M. Wintersteiger
Ranking Function Synthesis for Bit-Vector Relations. TACAS (2010)
Daniel Kroening, Natasha Sharygina, Aliaksei Tsitovich, Christoph M. Wintersteiger
Termination Analysis with Compositional Transition Invariants. CAV (2010)
Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura
Efficiently solving quantified bit-vector formulas. FMCAD (2010)
Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
Loopfrog - loop summarization for static analysis. WING@ETAPS/IJCAR (2010)
Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
Loopfrog: A Static Analyzer for ANSI-C Programs. ASE (2009)
Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura
A Concurrent Portfolio Approach to SMT Solving. CAV (2009)
Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
Loop Summarization Using Abstract Transformers. ATVA (2008)
Toni Jussila, Armin Biere, Carsten Sinz, Daniel Kröning, Christoph M. Wintersteiger
A First Step Towards a Unified Proof Checker for QBF. SAT (2007)