Secure Multi-Execution through Static Program Transformation.

Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas

Browse the full FORTE paper archive.