20
$\begingroup$

Let's assume a text file that grows at its very end but is otherwise not edited. We now have 100 transmissions of this, but OTP-encrypted (different OTP each time, of course). The first 50% of the original file are identical.

Of course nothing can be said about the other 50%. But can parts of the first 50%, which stay perfectly identical, be attacked?

(Please be light on the lingo and math, I'm a noob.)

Different scenario, same question: The text is edited in various places, but only individual sentences. This shifts the bytes around, but apart from that, most of it stays perfectly identical.

$\endgroup$
13
  • 2
    $\begingroup$ If you’re emailing yourself the ciphertext, where are you staring the key? $\endgroup$ Commented Feb 8, 2019 at 9:45
  • 9
    $\begingroup$ Regarding your intended use, I'm pretty sure that what you get via java.security.SecureRandom wouldn't be a proper OTP. You're almost certainly better off in practice with a key file and perhaps something like a Yubikey to hold a portion of the passphrase (to make it harder to shoulder-surf you typing it in), than trying to cobble something together yourself. For one thing, you'll have the benefit of KeyPass at least trying to not leak intermediate data. Who is your adversary anyway, the Andromeda Empire? $\endgroup$
    – user
    Commented Feb 8, 2019 at 18:14
  • 3
    $\begingroup$ @DreamspacePresident your OTP File produced with SecureRandom would be a very bloated 160bit, a keyfile with 40 bytes is more than enough. $\endgroup$
    – eckes
    Commented Feb 8, 2019 at 18:39
  • 6
    $\begingroup$ Depends on the SecureRandom config, java version and platform, but the commonly used Sha1PRNG of the JCL has not more state. Producing good randomness is hard, it is critical for OTP and it is even harder if you need to produce lots of it. (You would need to use the new DRBG with prediction resistance/reseeding) $\endgroup$
    – eckes
    Commented Feb 8, 2019 at 19:35
  • 9
    $\begingroup$ @DreamspacePresident Whether it's 160 bits of state or some other number isn't really all that significant as long as it's not something really low. The main point, I think, is that using a random number generator (even a secure one) doesn't give you the perfect secrecy that a real OTP provides. If you're generating the key with an algorithm, then what you're really doing is pre-calculating part of a stream cipher that's exactly as secure as the random number generator it's based on. $\endgroup$ Commented Feb 8, 2019 at 19:46

9 Answers 9

43
$\begingroup$

No. As long as each pad is completely random and independent, you can encrypt literally anything of the appropriate size (no larger than the pad) and retain information theoretic secure confidentiality. This attack is termed a known-plaintext attack, or KPA. The OTP encryption scheme is only vulnerable to this if you re-use padding material, which breaks the scheme. A proper OTP is not vulnerable to KPA.

$\endgroup$
6
  • 2
    $\begingroup$ I don't see why this is a known plaintext attack. The attacker never has the plaintext, they just have multiple encrypted versions of it. $\endgroup$
    – usul
    Commented Feb 8, 2019 at 15:33
  • 3
    $\begingroup$ @usul: You misread. Forest was pointing out the type of attack that would apply to the scenario - and why it would not work. $\endgroup$ Commented Feb 8, 2019 at 16:10
  • 6
    $\begingroup$ @DreamspacePresident, thanks for the response, unfortunately it doesn't address my question of why the known plaintext attack would apply to this scenario. In a known plaintext attack, the attacker knows the plaintext. This question asks, "But can parts of the first 50%, which stay perfectly identical, be attacked?" Under my reading, this means the attacker never sees any plaintexts, but only sees many different ciphertexts corresponding to the same plaintext. $\endgroup$
    – usul
    Commented Feb 8, 2019 at 18:30
  • 1
    $\begingroup$ What is the difference between re-using padding material and half the data not changing? Is the attack based on using known padding material? $\endgroup$ Commented Feb 8, 2019 at 19:05
  • 4
    $\begingroup$ @TKK: If you look at this image demonstration of OTP reuse, you can make statements about the payloads because they have low entropy: They are systematic, allow you to make assumptions about the rest of the data. In your question you have the opposite scenario: The same image is encoded via two different OTPs. So, merging the answer together will give you ... rather clear noise. But you can't see which part is clear and which part isn't, let alone extrapolate regarding the rest of the noise. $\endgroup$ Commented Feb 8, 2019 at 19:12
27
$\begingroup$

The short answer: No

As long as the key is not reused, OTP has perfect secrecy. Even at some point if the attacker knows the plaintext, he will only get a key that is used once. A problem may occur if the generation algorithm is predictable; that is, the attacker may use the weakness in the generation algorithm to produce previous and next bits.

$\endgroup$
0
17
$\begingroup$

Why is OTP perfectly secure?

Let's assume you would like to encrypt a plaintext $m$ using OTP. In order to do that, you would need to pick $m$ from a possible message space of $M$ with a given length. $M$ hereby represents all possible messages of this length.

Further, you choose a key $k$ from the given keyspace $K$. Note that $K$ and $M$ have the same size. In order to encrypt this message, you calculate $c = m \mathbin{\oplus} k$ and send $c$ to the recipient. $k$ must be distributed out-of-band, which means it is known both to you and the recipient, but not the attacker.

An attacker would now intercept $c$ and attempts to recover $m$, by iterating through $K$ and attempt every possible $k$. What this means is that the attacker receives every possible $m$ in $M$, something they could have done anyways. They have no more information about your chosen $m$ than they did before.

What if we use the same $m$ multiple times?

To answer this question, let us create $c_1$ and $c_2$, this time with $m$, $k_1$ and $k_2$, such that $c_1 = m \mathbin{\oplus} k_1$ and $c_2 = m \mathbin{\oplus} k_2$.

If an attacker were to intercept $c_1$ and $c_2$, they could calculate the following:

$c_1 \mathbin{\oplus} c_2 = m \mathbin{\oplus} k_1 \mathbin{\oplus} m \mathbin{\oplus} k_2$

Since $m \mathbin{\oplus} m = 0$ and $x \mathbin{\oplus} 0 = x$, we can write the result as:

$c_1 \mathbin{\oplus} c_2 = k_1 \mathbin{\oplus} k_2$

This is not useful for the attacker, as $k_1$ and $k_2$ are randomly chosen and never reused.

Why is OTP not used everywhere then?

Even though this is a bit out-of-scope, it's a question that is often asked by beginning cryptographers when encountering a seemingly perfect encryption scheme. The problem is its usability.

Imagine you would like to encrypt a message and send it to me. How would you do that? I don't have your key, and if you want to negotiate an out-of-band key exchange (say, by meeting with me in person in a secure area), then you might as well tell me the message there (if the message is known at the time).

$\endgroup$
6
  • 5
    $\begingroup$ "then you might as well tell me the message there"... assuming, of course, that the message to be communicated is known at the time. There are valid scenarios in which this is not the case, yet the security properties of OTP are desirable. $\endgroup$
    – user
    Commented Feb 8, 2019 at 15:56
  • $\begingroup$ There is a fourth section there: When is OTP used? - Not very often, it seems $\endgroup$ Commented Feb 8, 2019 at 16:07
  • $\begingroup$ related. $\endgroup$ Commented Feb 8, 2019 at 16:08
  • 1
    $\begingroup$ "give me a set of messages to be received in the future" Not any more so than does having one-time-use AES keys. A one-time pad can be used to encrypt any message. What OTP, properly used, gives is the ability to decrypt any ciphertext to any plaintext, simply by selecting the corresponding key. Therefore, for better and for worse, an attacker cannot know whether the message they just recovered is the actual message as seen by the intended recipient who has knowledge of the correct key; unlike e.g. AES, every reasonable decryption of each (say) character is equally likely. $\endgroup$
    – user
    Commented Feb 8, 2019 at 18:09
  • 5
    $\begingroup$ "perfect secrecy" is not synonymous with "perfectly secure". OTP is still malleable and vulnerable to bit flipping attacks. $\endgroup$
    – Ella Rose
    Commented Feb 8, 2019 at 18:26
6
$\begingroup$

You appear to be asking if comparative analysis could be employed between the different crypted iterations of the same text to decode it. Answer is "no": As long as the pads are produced using truly random data, the crypted text will never come out the sausage maker the same way twice. The only way comparative analysis could succeed is if keys were reused, which multiple posters to this thread already noted.

The pads must also be transmitted securely. If there is ever a period where they were not accounted for or not in a courier's control during distribution, they must be deemed to be compromised. If a courier is used for distribution, they themselves must also be absolutely trustworthy; a known quantity.

Lastly, if either the sending or receiving station are themselves compromised (those using OTPs), there's ways to tip off the opposite end of the channel of that fact who can then decide to either cease communications and leave you to your fate, or use the channel to distribute misinformation.

So if the following (4) strictures are observed, OTP are UNBREAKABLE:

  1. Never reuse keys
  2. Don't encrypt messages larger then the key
  3. Produce pads using truly random data (e.g. a hardware RNG based on physical phenomena)
  4. Ensure pads cannot be compromised during distribution to the operators
$\endgroup$
4
$\begingroup$

Even if the attacker knew the exact plaintext of each message, the only thing they could derive is the pad used for that specific message. Assuming the OTP was used correctly, this pad is only used for that one message, and therefore doesn't give the attacker any knowledge they didn't already have.

It also isn't possible to check whether or not a message has a given plaintext, or even whether two messages have the same plaintext.

If the pad is used twice, then the two encrypted texts can be combined with XOR to yield the XOR of the two plaintexts. That is highly non-random, which is immediately apparent with a little frequency counting.

But if the plaintext is used twice, then combining the two encrypted texts only yields the XOR of the two pads, which is distributed just as evenly as the pads themselves, and as the XOR of two messages with different plaintexts would be. There's no way to tell.

$\endgroup$
1
  • $\begingroup$ Yep, I got it by now, why reusing one side of the equation (the payload) is not a problem but reusing the other is: This visual demonstration shows that the XOR result from reused pads gives a mix of the payloads, which have low entropy and can thus be understood. Doing the opposite - reusing the payload - would allow the XOR result of two OTPs mixed together, and that's just useless to everybody. $\endgroup$ Commented Feb 11, 2019 at 17:44
3
$\begingroup$

Though the method is not vulnerable provide that the implementation is right. Of course the key is not reused. For extra entropy you can use a feedback mechanism in case the data is longer than the PAD.

$\endgroup$
7
  • 1
    $\begingroup$ "you can use a feedback mechanism" - Could you please elaborate on the method e.g. via a link? My searches have not been fruitful. $\endgroup$ Commented Feb 8, 2019 at 9:10
  • 5
    $\begingroup$ A feedback mechanism is an inefficient home made crypto mode (and therefore not recommended) and it is no longer OTP with all its security guarantees. $\endgroup$
    – eckes
    Commented Feb 8, 2019 at 13:20
  • 5
    $\begingroup$ Key stretching, by any name, cannot provide "extra entropy", regardless of whether the encryption algorithm is a one-time pad or something else. Key stretching can be used to turn a shorter key into a longer key, but as the longer key can be derived from the shorter key, the entropy of the longer key cannot be greater than that of the shorter key. The attacker can always choose to attack the smaller key space and execute the key stretching algorithm as part of the attack, if doing so is beneficial compared to attacking the larger key space without stretching each attempted key. $\endgroup$
    – user
    Commented Feb 8, 2019 at 18:01
  • 5
    $\begingroup$ @DreamspacePresident No. Entropy (in the information theory sense) cannot ever increase except when one adds more unrelated data. A deterministic algorithm cannot turn low entropy data into higher entropy data. Keep in mind that entropy has virtually nothing to do with how random-looking some data is in some particular representation. Also read up on Kerckhoffs' principle; the Wikipedia article on it isn't bad if you want an easy start. This is going well beyond requests for clarification on specific posts, so for further questions on this, I encourage you to research and post new questions. $\endgroup$
    – user
    Commented Feb 8, 2019 at 21:38
  • 4
    $\begingroup$ If you somehow use a determinstic algorithm to expand an "OTP" to a longer pad, then by definition what you have is not an OTP, but a stream cipher with the original "pad" being the key. (And it's easy in this construction to end up with a stream cipher that's pretty crappy in comparison to its ostensible key length). $\endgroup$ Commented Feb 10, 2019 at 18:36
3
$\begingroup$

The beautiful thing about one time pads is that its strength and weakness is easy to demonstrate. Suppose that you wanted to send a binary value (true/false, guilty/innocent, buy/no buy, attack/wait).

Create a pad of two values, to make it simple use a pair of numbers starting with zero. First flip a coin for whether heads represents true or false, then alternate from there. My first flip was tails, so tails is true. Second flip was tails again so 0=true, 1=false. This is the first pad. I get the message true (aka 0). Now create a new pad, since you require all of the previous messages to be resent, it has to double in size. This time heads will start as true. First flip 0=true, 1=false (same as before, what a coincidence), second flip 2=false, 3=true. Get the message 3,1 (true, false). Prepare paid for 3rd message, 0=false,1=true, 2=false, 3=true, 4=true, 5=false. Get message message true, false, false as 1,2,5.

Now, assuming that you know all of that, for the fourth message, without the pad, what does 1,2,4,6 mean? Since you have the full history and know that it is being repeated, you know that 1=true, 2=false, 4=false, so we only have one question left to answer: does 6 equal true or false? I don’t know, I haven’t generated the pad...

$\endgroup$
3
$\begingroup$

An alternative explanation:

We could distinguish between two kinds of encryption methods:

The first kind of encryption methods has the property that exactly one plain text can result in a certain encrypted text (e.g. "sfd1!&&fd8[//zu").

Public-key-based encryption methods are such methods. (Assuming an attacker knows the public key, so the public key is given.)

It can be proven that such encryption methods always can be cracked if you have enough computation power.

The second kind of encryption methods has the property that totally different, valid plain texts can result in the same encrypted text when different "keys" (*) are used:

  • The text "Hello, how are you?" will result in "sfd1!&&fd8[//zux+$-" when using a certain key.
  • The text "Transfer EUR 250000." will result in "sfd1!&&fd8[//zux+$-" when another key is used.
  • Using a third key, "I order 5 licenses." will result in "sfd1!&&fd8[//zux+$-".

So even if you have some hypothetical technology that is able to crack encryption, you won't be able to find out if the original message was "Transfer EUR 250000." or "I order 5 licenses." unless you have any information about the "key".

In the best case, every text of 19 characters length can result in "sfd1!&&fd8[//zux+$-" when the "correct" key is used. Even with your hypothetical technology you would only be able to find out that the original message is 19 characters long.

One-time pad belongs to the second kind of encryption methods. And in addition, a different key is used each time the message is sent.

If the file is originally 100 bytes long and it grows by 50 bytes each time the message is transferred, you are only able to find out that the first message is 100 bytes long, the second one 150 bytes and so on...

Even if you have the information that the first part of the unencrypted message is equal to the last message, this information will not help you much:

With the correct "key" any text which is originally 100 bytes long and grows by 50 bytes each time will result in the encrypted messages that you have received.

(*) The term "key" seems not to be correct here. In this answer any secret information only known to the sender and/or receiver of the message is meant.

$\endgroup$
3
  • $\begingroup$ Why can’t a public key scheme result in the same ciphertext for different keys and plaintext! $\endgroup$
    – eckes
    Commented Feb 10, 2019 at 19:49
  • $\begingroup$ @eckes This is of course possible. However, (normally) an attacker knows the public key, so the public key is part of the information known by the attacker. And the same ciphertext and the same public key but different plaintexts (for different private keys) is not possible. $\endgroup$ Commented Feb 10, 2019 at 22:22
  • $\begingroup$ @eckes I added a clarification to my answer. $\endgroup$ Commented Feb 10, 2019 at 22:26
0
$\begingroup$

Whether anything is "secure" depends upon the threat model. Simple forms of OTP are absolutely secure against eavesdropping attacks, but may be essentially worthless against known-plaintext spoofing attacks, since each piece of key needs to be used twice--once by the person encrypting the message, and once by the person decrypting it. Consequently, someone who has access to the plaintext and ciphertext forms of a message, as well as the communications channel used to transmit it, will be able to ascertain the key before it is used by the recipient.

If (for purposes of the example) a message was encrypted using a Caesar cipher OTP (add 0-25 to each letter of plaintext to get the ciphertext), someone who knew that a message was "ATTACK AT DAWN" and knew that the last four letters encrypted were "FRED" would be able to determine that the last four letters were shifted by 24, 9, 16, 10. If the person replaced the last four characters of the transmitted message with "ZXZD", the recipient would decode the resulting message as "ATTACK AT NOON".

Overcoming this problem in cases where bandwidth or timing restrictions would preclude the use of a Message Authentication Code (MAC) would require generating more key material, so that multiple possible keys could yield each (plaintext-ciphertext) combination. If message characters must be encrypted entirely independently (such that corruption of one character at the source would corrupt only one character decoded by the recipient), there would be no way to avoid granting an adversary the ability to corrupt any single character. If each character represents a one-of-C choice, however, adding additional key material, chosen from one of (C-1) possibilities, would suffice to prevent the adversary from having any control over which of the (C-1) alternative characters would be decoded. In cases where a transmission error would be allowed to cause more severe disruption of the received message, other forms of encryption and authentication would likely be more appropriate.

Note that depending upon the usage and threat model, the ability of an attacker to guarantee that a byte gets changed somehow may or may not be a meaningful weakness. It's important to note, however, that sometimes seemingly harmless weaknesses (e.g. the fact that Enigma could only map each letter to one of 25 others) may sometimes be exploitable in ways that may be hard to anticipate.

$\endgroup$
9
  • 1
    $\begingroup$ This is only a problem with an unauthenticated OTP. Just because you're using a OTP doesn't mean it needs to be unauthenticated. $\endgroup$
    – user
    Commented Feb 8, 2019 at 15:57
  • $\begingroup$ @aCVn: It is certainly possible to supplement OTP with other means of authentication if one is aware of this vulnerability, but there are some problems. One advantage of schemes like OTP and CTR is that they can be used with minimal delay between the time the sender acquires the material to be sent and the recipient is able to act upon it. Nearly all forms of authentication would require that a message be composed into some sort of block, with each block having to be received in its entirety before the authenticity of any of it can be determined. $\endgroup$
    – supercat
    Commented Feb 8, 2019 at 16:12
  • $\begingroup$ @aCVn: Expanding the size of the key material would make it possible to limit an attacker's ability to that of randomly disturbing all message content following a particular point, while still allowing a recipient who has heard N bytes sent over the communications medium to know that what was heard were either the first N characters of a legitimate message, or the first N-k bytes of the legitimate message followed by k characters over which neither the message originator nor the attacker had any meaningful control. $\endgroup$
    – supercat
    Commented Feb 8, 2019 at 16:21
  • 1
    $\begingroup$ @EllaRose: The nature of the question implied that the author was unaware that OTP would have any vulnerabilities, and there were numerous other answers that suggested it did not have the particular vulnerability asked about without considering whether there were any others that the author might not have anticipated. $\endgroup$
    – supercat
    Commented Feb 8, 2019 at 16:57
  • 2
    $\begingroup$ That's good to point out the problem, but it doesn't justify explicitly recommending against a MAC and recommending something else instead. If Overcoming this problem would require generating more key material said Overcoming this problem would require a MAC, then I would not have downvoted. But it doesn't, so I did. $\endgroup$
    – Ella Rose
    Commented Feb 8, 2019 at 17:09

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.