Secret Valley
No abstract available.
Related papers
- A Note on Cohen's "Eliminating Redundant Recursive Calls" TOPLAS 1985
- All Secrets Great and Small ESOP 2009
- Verifying Secrets and Relative Secrecy POPL 2000
- Secrets of the Glasgow Haskell Compiler inliner JFP 2002
- Functional pearl: two can keep a secret, if one of them uses Haskell ICFP 2015
- Building Intrusion-Tolerant Secure Software CGO 2005
- SGXElide: enabling enclave code secrecy via self-modification CGO 2018
- PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation CAV 2022