search

project-everest / mitls-fstar

Verified implementation of TLS 1.3 in F*
https://www.mitls.org
Other
173 stars 16 forks source link

Side channel protection #128

Open vkanne-msft opened 8 years ago

vkanne-msft commented 8 years ago

Per discussion during our meeting, this task is used to represent the work required for integrating side channel protection. This is part of the larger task to integrate crypto from low-level/crypto into mitls

vkanne-msft commented 8 years ago

On track, to be completed in M1.