[noise] Noise meetup at RWC 2019 - Thursday

[Trevor Perrin]

On Wed, Jan 9, 2019 at 8:23 PM Paul Rösler <paul.roesler at rub.de> wrote:
>
> independent of Nadim's and Karthik's
> great work on the formal verification of Noise patterns, Ben, Jörg, and
> I analyzed the security of Noise via reduction based proofs (which
> provides stronger statements on the analyzed patterns' security but our
> analysis is manual).
[...]
> As Ben also attends RWC and probably participates in the meeting
> tomorrow, he will tell you more about it.

Great!, yes, I hope Ben will join us.

Not sure exactly where we'll meet, but we'll find some corner in the
Marriott, spread the word, and start our meeting at 1PM tomorrow.

Trevor