Formal proof of security algorithms based on reachability reduction.

Mohamed Bouziane, Sophie Gire, Franois Monin, Laurent Nana

Browse the full MEDES paper archive.