Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Vincent Cheval

DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice

English