Login / Signup
Mohamed Bouziane
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Computational Cost
Network Security
Computationally Efficient
Formal Proof
Top Venues
MEDES
</>
Publications
</>
Mohamed Bouziane
,
Sophie Gire
,
François Monin
,
Laurent Nana
Formal proof of security algorithms based on reachability reduction.
MEDES
(2016)