Lines Matching refs:read
37 #### Read-read inconsistency
39 If an input argument is in shared memory, there is a risk of a **read-read inconsistency**:
45 …eld in the shared memory between the two reads and thus cause a buffer overread on the second read.
52 #### Write-read inconsistency
54 If an output argument is in shared memory, there is a risk of a **write-read inconsistency**:
74 …ation, which re-shares it with the crypto service. A malicious client can read another client (the…
76 #### Write-read feedback
102 …memory cannot result in a security violation other than [write-read feedback](#write-read-feedback…
104 * Never read the same input twice at the same index.
105 * Never read back from an output.
154 * Any parsing of formatted data has a high risk of [read-read inconsistency](#read-read-inconsisten…
155 …ations, it is natural for an implementation to have a [write-read inconsistency](#write-read-incon…
170 …h, MAC and key derivation operations are at a low risk of [read-read inconsistency](#read-read-inc…
172 …n decision: require symmetric cryptography drivers to read their input without a risk of read-read…
188 AEAD encryption and decryption are at risk of [read-read inconsistency](#read-read-inconsistency) i…
190 …ate or authenticate-then-encrypt structure (one read to calculate the authentication tag and anoth…
191 * when decrypting with an encrypt-then-authenticate structure (one read to decrypt and one read to …
194 Cipher and AEAD outputs are at risk of [write-read inconsistency](#write-read-inconsistency) and [w…
202 …Design decision: for now, require AEAD drivers to read the additional data without a risk of read-…
208 …sion: for now, require sign/verify-message drivers to read their input without a risk of read-read…
323 …nput buffers only, since it allows us to detect when a poisoned buffer is read but not when it is …
361 …to be unpoisoned straight after the function returns, so that they can be read to check the output…
384 Note: We are focusing on read-read inconsistencies for now, as most of the cases where we aren't co…
410 Record the addresses that are accessed. Mark the test as failed if the same address is read twice.
421 Record the addresses that are accessed. Mark the test as failed if the same address is read twice. …
514 … a structured format and therefore susceptible to read-read inconsistencies and potentially write-…