Integrate with behavior service
Added VerificationBehaviors.scala
Fix bug around defaultAlias
Fix bug around defaultAlias
Add initiateClaim logic
Fix typo around claim parameter
add debugging statements
add debugging
Try exception handling as debug statement
Have to use getStackTrace to see the trace
remove some debugging statements
Merge branch 'cryptoRedo' of https://github.com/leithaus/GLoSEval into verify
Allow ATI to serve as verifier and relying party to new agents
A driver for the UI side of the verification protocol
Merge branch 'verify' of https://github.com/leithaus/GLoSEval into verify
Some formatting
Removed spurious sessionURI formal
Removed in session ping instrument; fixed a couple of small bugs in UIDriver.scala
Fixed (literally) label for verifier cnxns
Merge verify branch and add Serialize stub