The following pages link to César Kunz (Q2374301):
Displaying 10 items.
- Product programs and relational program logics (Q2374302) (← links)
- Computer-Aided Cryptographic Proofs (Q2914729) (← links)
- A Machine-Checked Framework for Relational Separation Logic (Q3095237) (← links)
- An Introduction to Certificate Translation (Q3184785) (← links)
- Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification (Q3455833) (← links)
- Program Parallelization Using Synchronized Pipelining (Q3558297) (← links)
- A Functional Framework for Result Checking (Q3558330) (← links)
- Certificate Translation for Optimizing Compilers (Q3613391) (← links)
- EasyCrypt: A Tutorial (Q5253588) (← links)
- Certificate Translation in Abstract Interpretation (Q5458410) (← links)
