Automatic Generation of Security Protocols Implementations (Extended Abstract)

Paolo Modesti

4th Cryptoforma Workshop at CSF (informal proceedings), Verona, Italy, 2015

Links

• extended abstract

← Back to all publications