CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations
No abstract available.
Related papers
- Formalising oblivious transfer in the semi-honest and malicious model in CryptHOL CPP 2020
- HACCLE: metaprogramming for secure multi-party computation GPCE 2021
- PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation CAV 2022
- Efficient lookup-table protocol in secure multiparty computation ICFP 2012
- Oblivious algebraic data types POPL 2022
- YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution) TACAS 2018
- Implementation of the memory-safe full ANSI-C compiler PLDI 2009
- Agora: Trust Less and Open More in Verification for Confidential Computing OOPSLA 2025