Ivano Somaini

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Artificial Immune Algorithm

Automated Design

Security Protocols

Top Venues

Arch. Formal Proofs

Publications

Christoph Sprenger, Ivano Somaini
Developing Security Protocols by Refinement. Arch. Formal Proofs 2017 (2017)