Mohamed Bouziane, Sophie Gire, François Monin, Laurent Tchamnda Nana. Formal proof of security algorithms based on reachability reduction.
Proceedings of the 8th International ACM Conference on Management of Digital EcoSystems, MEDES 2016, Nov 2016, Biarritz, France. pp. 67-72.
⟨hal-01519465⟩