CryptoForma Workshop

Omar Almousa (Speaker)

Activity: Talks and presentationsConference 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 typeConference
LocationVerona, Italy