M. Christofi [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
Formal verification of the mERA-based eServices with trusted third party protocol, IFIP International Information Security and Privacy Conference-2012 - Heraklion, Crete, Greece