[messaging] Verification of strict key change policy in CONIKS?

[Marcela S. Melara]

----- Original Message -----
| From: "Gary Belvin" <gdb at google.com>
| To: "Marcela S. Melara" <melara at CS.Princeton.EDU>
| Sent: Tuesday, March 29, 2016 2:00:05 PM
| Subject: Re: [messaging] Verification of strict key change policy in CONIKS?

| Could you include a link here?
| 

For completeness, here's a link to our report with the key change protocol: https://coniks.cs.princeton.edu/static/Rochlin_Michael.pdf