Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, David Pichardie. System-level Non-interference for Constant-time Cryptography. In Gail-Joon Ahn, Moti Yung, Ninghui Li, editors, Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, Scottsdale, AZ, USA, November 3-7, 2014. pages 1267-1279, ACM, 2014. [doi]
@inproceedings{BartheBCLP14-0, title = {System-level Non-interference for Constant-time Cryptography}, author = {Gilles Barthe and Gustavo Betarte and Juan Diego Campo and Carlos Daniel Luna and David Pichardie}, year = {2014}, doi = {10.1145/2660267.2660283}, url = {http://doi.acm.org/10.1145/2660267.2660283}, researchr = {https://researchr.org/publication/BartheBCLP14-0}, cites = {0}, citedby = {0}, pages = {1267-1279}, booktitle = {Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, Scottsdale, AZ, USA, November 3-7, 2014}, editor = {Gail-Joon Ahn and Moti Yung and Ninghui Li}, publisher = {ACM}, isbn = {978-1-4503-2957-6}, }