Sound Automatic Implementation Generation and Monitoring of Security Protocol Implementations from Verified Formal Specifications

  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
TitleSound Automatic Implementation Generation and Monitoring of Security Protocol Implementations from Verified Formal Specifications
Publication TypePhD Thesis
AuthorsPironti, A.
Tertiary AuthorsSisto, R.
AttachmentSize
Pironti_Dissertation.pdf1.31 MB