[noise] Noise meetup at RWC 2019 - Thursday
trevp at trevp.net
Thu Jan 10 01:45:39 PST 2019
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.
More information about the Noise