CryptoForma Workshop

Activity: Talks and presentationsConference presentations

View graph of relations

Omar Almousa - Speaker

Presenting an extended abstract of our book chapter "Alice and Bob: Reconciling Formal Models and Implementation.
13 Jul 2015

Event (Conference)

TitleCryptoForma Workshop
Date13/07/201514/07/2015
CityVerona
CountryItaly
Download as:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word

ID: 130972712