{"date_updated":"2024-08-19T08:25:10Z","year":"2024","title":"\"These results must be false\": A usability evaluation of constant-time analysis tools","language":[{"iso":"eng"}],"_id":"55634","citation":{"bibtex":"@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} }","apa":"Fourné, M., Braga, D. D. A., Jancar, J., Sabt, M., Schwabe, P., Barthe, G., Fouque, P.-A., &#38; Acar, Y. (2024). “These results must be false”: A usability evaluation of constant-time analysis tools. In D. Balzarotti &#38; W. Xu (Eds.), <i>33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024</i>. USENIX Association.","ama":"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. <i>33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024</i>. USENIX Association; 2024.","short":"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.","chicago":"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 <i>33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024</i>, edited by Davide Balzarotti and Wenyuan Xu. USENIX Association, 2024.","ieee":"M. Fourné <i>et al.</i>, “‘These results must be false’: A usability evaluation of constant-time analysis tools,” in <i>33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024</i>, 2024.","mla":"Fourné, Marcel, et al. “‘These Results Must Be False’: A Usability Evaluation of Constant-Time Analysis Tools.” <i>33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024</i>, edited by Davide Balzarotti and Wenyuan Xu, USENIX Association, 2024."},"author":[{"last_name":"Fourné","first_name":"Marcel","full_name":"Fourné, Marcel"},{"first_name":"Daniel De Almeida","last_name":"Braga","full_name":"Braga, Daniel De Almeida"},{"full_name":"Jancar, Jan","last_name":"Jancar","first_name":"Jan"},{"last_name":"Sabt","first_name":"Mohamed","full_name":"Sabt, Mohamed"},{"last_name":"Schwabe","first_name":"Peter","full_name":"Schwabe, Peter"},{"last_name":"Barthe","first_name":"Gilles","full_name":"Barthe, Gilles"},{"last_name":"Fouque","first_name":"Pierre-Alain","full_name":"Fouque, Pierre-Alain"},{"id":"94636","full_name":"Acar, Yasemin","first_name":"Yasemin","last_name":"Acar"}],"editor":[{"first_name":"Davide","last_name":"Balzarotti","full_name":"Balzarotti, Davide"},{"first_name":"Wenyuan","last_name":"Xu","full_name":"Xu, Wenyuan"}],"publisher":"USENIX Association","user_id":"15458","date_created":"2024-08-19T08:14:13Z","department":[{"_id":"740"}],"publication":"33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024","status":"public","type":"conference"}