Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Itsaka Rakotonirina

DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice

English