"These results must be false": A usability evaluation of constant-time analysis tools
M. Fourné, D.D.A. Braga, J. Jancar, M. Sabt, P. Schwabe, G. Barthe, P.-A. Fouque, Y. Acar, in: D. Balzarotti, W. Xu (Eds.), 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024, USENIX Association, 2024.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Fourné, Marcel;
Braga, Daniel De Almeida;
Jancar, Jan;
Sabt, Mohamed;
Schwabe, Peter;
Barthe, Gilles;
Fouque, Pierre-Alain;
Acar, YaseminLibreCat
Editor
Balzarotti, Davide;
Xu, Wenyuan
Department
Publishing Year
Proceedings Title
33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024
LibreCat-ID
Cite this
Fourné M, Braga DDA, Jancar J, et al. “These results must be false”: A usability evaluation of constant-time analysis tools. In: Balzarotti D, Xu W, eds. 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024. USENIX Association; 2024.
Fourné, M., Braga, D. D. A., Jancar, J., Sabt, M., Schwabe, P., Barthe, G., Fouque, P.-A., & Acar, Y. (2024). “These results must be false”: A usability evaluation of constant-time analysis tools. In D. Balzarotti & W. Xu (Eds.), 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024. USENIX Association.
@inproceedings{Fourné_Braga_Jancar_Sabt_Schwabe_Barthe_Fouque_Acar_2024, title={“These results must be false”: A usability evaluation of constant-time analysis tools}, booktitle={33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024}, publisher={USENIX Association}, author={Fourné, Marcel and Braga, Daniel De Almeida and Jancar, Jan and Sabt, Mohamed and Schwabe, Peter and Barthe, Gilles and Fouque, Pierre-Alain and Acar, Yasemin}, editor={Balzarotti, Davide and Xu, Wenyuan}, year={2024} }
Fourné, Marcel, Daniel De Almeida Braga, Jan Jancar, Mohamed Sabt, Peter Schwabe, Gilles Barthe, Pierre-Alain Fouque, and Yasemin Acar. “‘These Results Must Be False’: A Usability Evaluation of Constant-Time Analysis Tools.” In 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024, edited by Davide Balzarotti and Wenyuan Xu. USENIX Association, 2024.
M. Fourné et al., “‘These results must be false’: A usability evaluation of constant-time analysis tools,” in 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024, 2024.
Fourné, Marcel, et al. “‘These Results Must Be False’: A Usability Evaluation of Constant-Time Analysis Tools.” 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024, edited by Davide Balzarotti and Wenyuan Xu, USENIX Association, 2024.
Google Scholar