مؤتمر
A Certified Compiler for Verifiable Computing
| العنوان: | A Certified Compiler for Verifiable Computing |
|---|---|
| المؤلفون: | Fournet, Cedric, Keller, Chantal, Laporte, Vincent |
| المصدر: | 2016 IEEE 29th Computer Security Foundations Symposium (CSF) Computer Security Foundations Symposium (CSF), 2016 IEEE 29th. :268-280 Jun, 2016 |
| Relation: | 2016 IEEE 29th Computer Security Foundations Symposium (CSF) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9781509026074 |
|---|---|
| تدمد: | 23748303 |
| DOI: | 10.1109/CSF.2016.26 |