Information-Flow Preservation in Compiler Optimisations
| Title: | Information-Flow Preservation in Compiler Optimisations |
|---|---|
| Authors: | Besson, Frederic; Dang, Alexandre; Jensen, Thomas |
| Source: | 2019 IEEE 32nd Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2019 IEEE 32nd. :230-23012 Jun, 2019 |
| Relation: | 2019 IEEE 32nd Computer Security Foundations Symposium (CSF) |
| Database: | IEEE Xplore Digital Library |