[Acme] WIP Tamarin Models for ACME

Hi folks, I spent some time over the past few weeks using the Tamarin theorem prover [0] to put together some protocol models for ACME. These are very preliminary (since I've never really done a Tamarin model before) but they do illustrate some relevant security features. In particular, the

Re: [Acme] New draft and DANGER

On Wed, Sep 30, 2015 at 7:32 PM, Andrew Ayer wrote: > On Mon, 28 Sep 2015 15:01:57 -0400 > Richard Barnes wrote: > >> I opened a few PRs over the weekend that address recently-raised >> issues: >> >> * "Address signature reuse vulnerability" - >>