Re: [Acme] On multiple CAs and contact-based recovery

On 24 March 2016 at 09:33, Karthik Bhargavan wrote: > Emails with clickable links are *BAD*; we should enhance their security by > linking them better with > the ACME account key. FWIW, I think that a clickable link could be possible, it just wouldn't be able to

Re: [Acme] On multiple CAs and contact-based recovery

Hi Ted, Unfortunately, we wont be in Buenos Aires. But I plan to communicate the details to Richard, who may decide to present some of it. Best, Karthik > On 23 Mar 2016, at 23:54, Ted Hardie wrote: > > Hi Karthik, > > Thanks for your message. Will you or your

Re: [Acme] On multiple CAs and contact-based recovery

Hi Karthik, Thanks for your message. Will you or your co-authors be in Buenos Aires for the IETF? Would you like to present this work to the working group there, if so? thanks, Ted On Wed, Mar 23, 2016 at 3:33 PM, Karthik Bhargavan < karthikeyan.bharga...@inria.fr> wrote: > Dear All, > >

[Acme] On multiple CAs and contact-based recovery

Dear All, Recently, after being asked by Josh Aas, I wrote a formal model of the ACME protocol in ProVerif and analyzed it for various properties. I am still in the process of cleaning up the model and writing up a proper report, but with the next IETF being so close, here’re some early