1. Johan Agat . 2000. Transforming Out Timing Leaks . In POPL, Mark N. Wegman and Thomas W. Reps (Eds.). ACM , 40–53. https://doi.org/10.1145/325694.325702 10.1145/325694.325702 Johan Agat. 2000. Transforming Out Timing Leaks. In POPL, Mark N. Wegman and Thomas W. Reps (Eds.). ACM, 40–53. https://doi.org/10.1145/325694.325702
2. John R. Allen , Ken Kennedy , Carrie Porterfield , and Joe D. Warren . 1983. Conversion of Control Dependence to Data Dependence . In POPL, John R. Wright, Larry Landweber, Alan J. Demers, and Tim Teitelbaum (Eds.). ACM Press , 177–189. https://doi.org/10.1145/567067.567085 10.1145/567067.567085 John R. Allen, Ken Kennedy, Carrie Porterfield, and Joe D. Warren. 1983. Conversion of Control Dependence to Data Dependence. In POPL, John R. Wright, Larry Landweber, Alan J. Demers, and Tim Teitelbaum (Eds.). ACM Press, 177–189. https://doi.org/10.1145/567067.567085
3. José Bacelar Almeida , Manuel Barbosa , Gilles Barthe , Arthur Blot , Benjamin Grégoire , Vincent Laporte , Tiago Oliveira , Hugo Pacheco , Benedikt Schmidt , and Pierre-Yves Strub . 2017 . Jasmin: High-Assurance and High-Speed Cryptography. In CCS, Bhavani M. Thuraisingham, David Evans, Tal Malkin, and Dongyan Xu (Eds.) . ACM , 1807–1823. https://doi.org/10.1145/3133956.3134078 10.1145/3133956.3134078 José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Arthur Blot, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Hugo Pacheco, Benedikt Schmidt, and Pierre-Yves Strub. 2017. Jasmin: High-Assurance and High-Speed Cryptography. In CCS, Bhavani M. Thuraisingham, David Evans, Tal Malkin, and Dongyan Xu (Eds.). ACM, 1807–1823. https://doi.org/10.1145/3133956.3134078
4. José Bacelar Almeida , Manuel Barbosa , Gilles Barthe , François Dupressoir , and Michael Emmi . 2016 . Verifying Constant-Time Implementations. In 25th USENIX Security Symposium, Thorsten Holz and Stefan Savage (Eds.). USENIX Association, 53–70 . https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/almeida José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, and Michael Emmi. 2016. Verifying Constant-Time Implementations. In 25th USENIX Security Symposium, Thorsten Holz and Stefan Savage (Eds.). USENIX Association, 53–70. https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/almeida
5. José Bacelar Almeida , Manuel Barbosa , Gilles Barthe , Benjamin Grégoire , Adrien Koutsos , Vincent Laporte , Tiago Oliveira , and Pierre-Yves Strub . 2020. The Last Mile: High-Assurance and High-Speed Cryptographic Implementations . In S&P . IEEE , 965–982. https://doi.org/10.1109/SP40000. 2020 .00028 10.1109/SP40000.2020.00028 José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira, and Pierre-Yves Strub. 2020. The Last Mile: High-Assurance and High-Speed Cryptographic Implementations. In S&P. IEEE, 965–982. https://doi.org/10.1109/SP40000.2020.00028