2 research outputs found

    Modelling and analyzing security protocols in cryptographic process calculi

    No full text
    In his habilitation theses Steve Kremer presents some selected research results in the area of formal analysis of security protocols. His contributions include application of formal methods to electronic voting protocols and security APIs, automated methods for verifying equivalence properties, compositional reasoning for security protocols and computational soundness results
    corecore