When sampling randomness for a shared secret, the implementation of Kyber and FrodoKEM, did not check whether crypto/rand.Read() returns an error. In rare deployment cases (error thrown by the Read() function), this could lead to a predictable shared secret.
The tkn20 and blindrsa components did not check whether enough randomness was returned from the user provided randomness source. Typically the user provides crypto/rand.Reader, which in the vast majority of cases will always return the right number random bytes. In the cases where it does not, or the user provides a source that does not, the blinding for blindrsa is weak and integrity of the plaintext is not ensured in tkn20.
{
"url": "https://pkg.go.dev/vuln/GO-2023-1765",
"review_status": "REVIEWED"
}{
"imports": [
{
"symbols": [
"EncryptCCA"
],
"path": "github.com/cloudflare/circl/abe/cpabe/tkn20/internal/tkn"
},
{
"symbols": [
"RSAVerifier.Blind"
],
"path": "github.com/cloudflare/circl/blindsign/blindrsa"
},
{
"symbols": [
"PublicKey.EncapsulateTo",
"scheme.Encapsulate",
"scheme.EncapsulateDeterministically"
],
"path": "github.com/cloudflare/circl/kem/frodo/frodo640shake"
},
{
"symbols": [
"PublicKey.EncapsulateTo",
"scheme.Encapsulate",
"scheme.EncapsulateDeterministically"
],
"path": "github.com/cloudflare/circl/kem/kyber/kyber1024"
},
{
"symbols": [
"PublicKey.EncapsulateTo",
"scheme.Encapsulate",
"scheme.EncapsulateDeterministically"
],
"path": "github.com/cloudflare/circl/kem/kyber/kyber512"
},
{
"symbols": [
"PublicKey.EncapsulateTo",
"scheme.Encapsulate",
"scheme.EncapsulateDeterministically"
],
"path": "github.com/cloudflare/circl/kem/kyber/kyber768"
},
{
"symbols": [
"scheme.Encapsulate"
],
"path": "github.com/cloudflare/circl/kem/sike/sikep434"
},
{
"symbols": [
"scheme.Encapsulate"
],
"path": "github.com/cloudflare/circl/kem/sike/sikep503"
},
{
"symbols": [
"scheme.Encapsulate"
],
"path": "github.com/cloudflare/circl/kem/sike/sikep751"
}
]
}