6
$\begingroup$

If a cipher implementation passes unit tests using test vectors from some trusted source (these for AES, for example), then can we say that it is fully conforming to the specification, and must have been implemented correctly?

Is it possible to backdoor a cipher (or hash function, I suppose) in such a way that it still appears to be correct and is compatible with different implementations of the same cipher?

This question was motivated by the advice given by figlesquidge in his answer to the question AES column mixing and S-Box confusion, where he says:

Standard AES disclaimer: Given the questions you've asked, you should not implement AES yourself in a real-world system because there are lots of security considerations when implementing ciphers.

$\endgroup$
3
  • 2
    $\begingroup$ Use code review and test vectors. But even if you do a bug may slip by. For example there were recent bugs in popular GCM which caused a total security breakdown for certain message lengths. $\endgroup$ Dec 11, 2013 at 19:30
  • $\begingroup$ @CodesInChaos Can you refer me to such case of breakdowns? It'll be interesting to read. $\endgroup$
    – hola
    Apr 28, 2017 at 11:02
  • $\begingroup$ @pushpen.paul I think I was referring to the bug mentioned in this post and described in the paper The fragility of AES - GCM authentication algorithm $\endgroup$ Apr 28, 2017 at 11:07

2 Answers 2

11
$\begingroup$

can we say that it is fully conforming to the specification, and must have been implemented correctly?

No.

Is it possible to backdoor a cipher (or hash function, I suppose) in such a way that it still appears to be correct and is compatible with different implementations of the same cipher?

Certainly.

Say I have an function AES(k,m)=c where variables k and m are the key and the message respectively and c is the resulting ciphertext.

Now I could write my own AES as follows:


def mikeazo_AES(k,m):
    if k==0x12abed347816981812abed3478169818:
        return m
    else:
        return AES(k,m)

Thus, given a specific key, it will simply return the plaintext. Since that key is not part of the test vectors, they will all pass.

This will be compatible with all other implementations unless that key is hit. Since they are randomly generated, the probability of that happening is slim. This may not seem super useful at first glance, but as an attacker you could add in some sort of trigger mechanism to force keys to be the special key. You can presumably do this as you have already got your software on their system.

There are better back doors that could be inserted. See example in comments from CodesInChaos.

$\endgroup$
6
  • $\begingroup$ I would not return $m$ but $f(m)$ for some bijective efficiently invertible $f(\cdot)$ ;) Anyways, nice answer! $\endgroup$
    – DrLecter
    Dec 11, 2013 at 19:20
  • 10
    $\begingroup$ I'd rather define it as if m=CONST return k. Attacker controlled plaintexts or ciphertexts are more common and leaking the key is more useful. (or as DrLecter suggests a bijection of k to reduce the detection risk) $\endgroup$ Dec 11, 2013 at 19:24
  • 3
    $\begingroup$ If an attacker can affect keys that much you probably have a problem even without backdoors. At minimum it's bad protocol design. AES (unlike e.g. Threefish) is not designed to handle attacker controlled keys. For example it suffers related key attacks. $\endgroup$ Dec 11, 2013 at 19:25
  • $\begingroup$ @CodesInChaos: AES exploitable related-key weaknesses are theoretical for now; at least as I interpret this answer. Backdoors (such as the one in your former comment) are far from theoretical. $\endgroup$
    – fgrieu
    Dec 11, 2013 at 19:56
  • 3
    $\begingroup$ @CodesInChaos, yup, absolutely. But, I don't think mikeazo ever claimed that's the best or only way to insert a backdoor. To answer the question in the negative, it suffices to show one example of a backdoor -- it doesn't have to be the best possible backdoor. $\endgroup$
    – D.W.
    Dec 11, 2013 at 20:08
4
$\begingroup$

The answer is "no", in two ways.


First, the implementation of the algorithm could make use of side channels to leak data. The SSL timing attack permits an attacker who can execute multiple encryptions to "tease out" timing information that reveals bits of the key material. The original attack was based on the widely used OpenSSL implementation. Simply stated, if a particular key bit was 1, the encryption code would take one path through the code in a different amount of time than it would if the same bit was 0. By sending repeated requests for secure socket connections and timing the responses, the attackers were able to reconstruct the private key of the server.

Therefore, it would be possible for a malicious cryptographic implementation to deliberately include an asymmetric code path that would reveal the bits of the key via timing, not unlike Morse code. It would pass all test vectors perfectly, yet still be vulnerable. And not only would it be possible, but it would be easy. All a malfeasor would have to do is to implement an older version of the OpenSSL code, which has such a vulnerability already present. And he could mask that activity with feigned ignorance.


The other way a back door could get in is if the algorithm itself deliberately includes a back door, such as was suspected in the recent Dual EC DRBG random number generator scandal. Even a perfect implementation would yield a system that contains a back door.

There was long debate on whether or not the DES S-boxes contained such a back door, as the NSA had "strengthened" IBM's Lucifer algorithm back in the 1970s. It turned out that they actually did strengthen it against an attack (called differential cryptanalysis) that wasn't discovered until 1990 by civilian cryptographers Biham and Shamir. But an algorithm that incorporates deliberately weak S-boxes would also have a back door.

$\endgroup$
4
  • 1
    $\begingroup$ This isn't merely a theoretical concern - the Soviets used weak S-boxes to spy on dissident groups who used their GOST cipher for encryption. $\endgroup$
    – pg1989
    Dec 11, 2013 at 23:35
  • 1
    $\begingroup$ @pg1989: That weak GOST S-boxes is certainly a possibility. But can you quote a convincing source that it has been done? $\endgroup$
    – fgrieu
    Dec 12, 2013 at 4:22
  • 1
    $\begingroup$ You can't change S-Box's without breaking compatibility with other implementations. $\endgroup$
    – user9070
    Dec 12, 2013 at 7:00
  • $\begingroup$ @TruthSerum, GOST doesn't specify the contents of the S-Boxes, so each implementation can choose their own set. I don't know if it's true that the Soviets deliberately assigned weak S-boxes as pg1989 claimed, but it is known that certain choices for S-boxes can result in a very weak cipher. See en.wikipedia.org/wiki/GOST $\endgroup$ Dec 12, 2013 at 17:09

Your Answer

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