All Secrets Great and Small
No abstract available.
Related papers
- Secret Valley ECOOP 2010
- Verifying Secrets and Relative Secrecy POPL 2000
- Modeling biology with solver-aided programming languages GPCE 2013
- CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity PLDI 2023
- Eval begone!: semi-automated removal of eval from javascript programs OOPSLA 2012
- 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