Page History

...

• Name (Organization) <email>
• Stephen Curran (Cloud Compass/BC Gov) <swcurran@cloudcompass.ca>
• Richard Esplin (Evernym) <richard.esplin@evernym.com>
• Alexis Falquier (Spaceman ID) <alexis@spaceman.id>
• John Callahan (Veridium) <jcallahan@veridiumid.com>
• George Aristy (SecureKey) <george.aristy@securekey.com>
• Steve McCown (Anonyome Labs) <smccown@anonyome.com>
• Daniel Hardman (Evernym) <daniel.hardman@evernym.com>

Welcome / Introductions

Announcements

...

• DIF Interop Project - Project is proceeding, connect the communities at IIW
• DKMS status
• Credential Fraud:  Example how in ACA-Py to verify same link secret across multiple credentials in presentation
• Schema interop - how to reused schema across different networks Robert Mitwicki(RFC in progress)
• Using WebSocket as a way to communicate back to the mobile/desktop wallet (Agent (services or user) as a proxy for communication between service and digital wallet) Robert Mitwicki 
• Formal protocol verification techniques
  • https://github.com/SvenHammann90/SSI/blob/master/RWOT_9/Topic_Paper_RWOT.md (using ProVerifTamarin)
  • https://github.com/johncallahan/needham_shroeder_spin (non-Aries example using SPIN/Promela)
• What's left for DID Exchange protocol?
  • Some discussion in: https://github.com/hyperledger/aries-rfcs/pull/366

...