Computationally Sound Secrecy Proofs by Mechanized Flow Analysis
Abstract
void
Loading...
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Véronique Cortier : Connect in order to contact the contributor
https://inria.hal.science/inria-00080498
Submitted on : Monday, June 19, 2006-10:45:19 AM
Last modification on : Monday, January 24, 2022-12:44:15 PM
Long-term archiving on: Monday, April 5, 2010-11:00:15 PM