Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
ACI ROSSIGNOL
[go: Go Back, main page]

ACI ROSSIGNOL

Goal

Verification of Cryptographic Protocols

Teams

Members

Meetings

  • Grenoble, 2 decembre 2003.

    Spring School on security

  • Presentation: Upcoming

    Publications

    A theory of Dictionary Attacks and its Complexity. S.Delaune and F. Jacquemard. Computer Security Workshop

    Encryption as an abstract data-type: An extended abstract, by Dale Miller. FCS 2003: Foundations of Computer Security. Edited by Iliano Cervesato, pp. 3-14, June 2003.

    A Proof Search Specification of the π-Calculus, by Alwen Tiu and Dale Miller. PDF

    Denis Lugiez
    Last modified: Fri Apr 30 16:43:31 MEST 2004