An IDE for the Design, Verification and Implementation of Security Protocols

Remi Garcia, Paolo Modesti

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    88 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'An IDE for the Design, Verification and Implementation of Security Protocols'. Together they form a unique fingerprint.

    Engineering & Materials Science