Subject: [Cfrg] SHE Key Update Protocol

From: Henry B Hotz <[email-masked]>
Date: Wed, 11 Apr 2018 07:12:16 -0700

It’s an automotive thing. Anyone know of any published formal analysis/modeling of it?

I’m especially interested in the requirements it imposes to maintain its assurances. 

Personal email. [email-masked]