Synthesizing Protocols for Digital Contract Signing
No abstract available.
Related papers
- Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants CAV 2017
- Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts OOPSLA 2023
- Efficient Synthesis with Probabilistic Constraints CAV 2019
- Synthesizing contracts correct modulo a test generator OOPSLA 2021
- Generalized Certificate Revocation POPL 2000
- Horn-ICE learning for synthesizing invariants and contracts OOPSLA 2018
- Perception Contracts for Safety of ML-Enabled Systems OOPSLA 2023
- Digital Bifurcation Analysis of TCP Dynamics TACAS 2019