"These results must be false": A usability evaluation of constant-time analysis tools
M. Fourn , D. Braga, J. Jancar, M. Sabt, P. Schwabe, G. Barthe, P. Fouque, Y. Acar, (2024).