Fingerprint
Dive into the research topics of 'A simulation-based proof technique for dynamic information flow'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A simulation-based proof technique for dynamic information flow
Stephen McCamant, Michael D. Ernst
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
17
Scopus
citations