@doctoralThesis{Cheikhrouhou_2022,
title={Inductive verification of cryptographic protocols based on message algebras - trace and indistinguishability properties},
author={Cheikhrouhou, Lassaad},
doi={http://dx.doi.org/10.22028/D291-36558},
year={2022}
}