Page History

...

• 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

...