@Article{1024_19_2022_93,
title={Preuves de protocoles cryptographiques : méthodes symboliques et attaquants puissants},
author={Charlie Jacomme},
pages={93--98},
journal={1024},
x-hal_journal_id={103290},
volume={19},
month={4},
year={2022},
editor={Société informatique de France},
publisher={Société informatique de France},
publisherLink={https://www.socinfo.fr/bulletin/},
issn={2270-1419},
keywords={Informatique},
domain={Computer Science},
licence={Attribution - NonCommercial - NoDerivatives},
popularlevel={Yes},
peerReviewing={Yes},
audience={International},
language={fr},
PDF={https://1024.socinfo.fr/2022/04/1024_19_2022_93.pdf},
fileSource={publisherAgreement},
DOI={10.48556/SIF.1024.19.93}
}