CryptoForma Workshop

  • Omar Almousa (Speaker)

Activity: Talks and presentations › Conference presentations

Description

Presenting an extended abstract of our book chapter "Alice and Bob: Reconciling Formal Models and Implementation.
Period13 Jul 2015
Event titleCryptoForma Workshop
Event typeWorkshop
LocationVerona, ItalyShow on map