[noise] rev34 status

[Nadim Kobeissi]

Dear Trevor,
Thanks for this update. I personally still prefer our 0/1/2/3/4
authenticity grades, for reasons described earlier. I don't know if Karthik
has anything to add to this.

I just added X1N added to the Noise Explorer verification queue, which is
currently actually back at 0/38 models: I'm rerunning formal verification
on all patterns, because I recently made a change that makes the modeling
of ephemeral key freshness in an unbounded number of sessions stronger. The
results are not likely to change due to this, but it's better to have them
generated from this stronger modeling.

I will update the new results all at once, and they will include the new
results for X1N.

Let's try to synchronize the release of revision 34 across both the
specification and Noise Explorer. I hope to also maintain this
synchronicity for future revisions!

Nadim Kobeissi
Symbolic Software • https://symbolic.software
Sent from office

On Tue, May 29, 2018 at 6:01 AM Trevor Perrin <trevp at trevp.net> wrote:

> On Tue, May 29, 2018 at 2:18 AM, Trevor Perrin <trevp at trevp.net> wrote:
> > I updated revision 34 draft with:
> >
> >  * Security properties for deferred patterns in appendix, taken from
> > Noise Explorer.
> >
> >  * Renamed "authentication" / "confidentiality" security properties in
> > spec to "source" / "destination", since the Noise Explorer team
> > pointed out these categories don't map directly to the previous terms.
> >
> >  * In section 10, clarified the distinction between "switch protocols"
> > (a protocol that Bob switches to) and "fallback protocols" (a protocol
> > that uses the fallback modifier).
> >
> >  * In section 10, removed some of the description of a "type byte";
> > and generalized/renamed the "Type fields" discussion in "Application
> > responsibilities" to discuss "Negotiation data".
> >
> >  * Added X1N pattern (which I forgot somehow; so needs to be added to
> > Noise Explorer too).


> Oh, I also added a change log.

> Trevor
> _______________________________________________
> Noise mailing list
> Noise at moderncrypto.org
> https://moderncrypto.org/mailman/listinfo/noise