* “Machine-checked symbolic analysis [REF] supports preferring hybrid deployment over standalone key establishment, confirming that hybrid key establishment remains secure under compromise of either individual component.”
This would only be accurate if we added something like If the security of the key exchange is the only consideration in development and deployment, … And even then, we’d have to say “A machine-checked symbolic analysis done by an individual” By the time you make it accurate, it’s pointless to say anything.
_______________________________________________ TLS mailing list -- [email protected] To unsubscribe send an email to [email protected]
