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

Rmi Garcia, Paolo Modesti

Browse the full ISSRE paper archive.