Themis consists of 4 basic cryptosystems:
To evaluate the security of each cryptosystem against theoretical attacks, we first need to outline the algorithms used. The table below demonstrates the exact algorithms that constitute structural parts of each cryptosystem. Note that ECDH and ECDSA both work on ANSI X9.62 Prime 256v1 Elliptic curve, so the key length is 256 bit.
|Themis Cryptosystems||Modes||Involved cryptoalgorithms / protocols (by default)|
|Secure Message||Signed message||ECDSA or RSA-2048-PSS|
|Encrypted message||ECDH / ECDSA or RSA-2048-PSS/ AES-256-GCM|
|Secure Session||Send/Receive||ECDH / ECDSA or RSA-2048-PSS/ HMAC-SHA-256 / AES-256-GCM|
|Wrap/Unwrap||ECDH / ECDSA or RSA-2048-PSS/ HMAC-SHA-256 / AES-256-GCM|
|Mixed||ECDH / ECDSA or RSA-2048-PSS/ HMAC-SHA-256 / AES-256-GCM|
|Secure Comparator||-||SMP + ed25519|
The most famous known attacks on the AES Cipher are:
They are listed in the Attacks on cryptosystems chapter of this documentation.
The most powerful of these attacks on the AES is the biclique (Man-in-the-Middle) attack. Its complexity is approximately 2126, 2190, and 2190 for AES-128, AES-192, and AES-256 respectively. However, currently this is a seriously impractical attack from an applied point of view, and it has no practical implication on the AES security.
The most famous known attacks on the block cipher modes:
The most powerful attack on the block cipher mode:
The most powerful attack on the block cipher mode is Vaudenay’s padding oracle attack. Since the cryptosystems of Themis only use AES in GCM/CTR mode (Security Cell / Secure Message / Secure Session), practically speaking, they are secure against the above-mentioned attacks.
Security of HMAC-SHA256 message authentication code:
There are currently no known attacks on HMAC-SHA256, so it’s extremely secure.
Security of the RSA-PSS signature:
There are currently no known attacks on the RSA-PSS signature algorithm, assuming that the underlying factorisation problem is intractable. In fact, the security of RSA in general totally relies on the factorisation problem. A simple formula can be applied for calculation of a secure key size:
(year - 2000) * 32 + 512.
Secure Message and Secure Session of Themis have a potential flaw – they support 1024 bit RSA keys (the user is allowed to build a library with such key size). This is done for the sake of compatibility with other cryptosystems. However, by default, the key size is set to 2048.
Security of ECC algorithms (ECDH, ECDSA):
All the ECC algorithms rely on the elliptic curve discrete logarithm problem (ECDLP). Little to no major progress has been made in improving the algorithms for solving this problem by the Mathematical community since it was independently introduced by Koblitz and Miller in 1985. Which means that in theory ECDLP is intractable and ECC algorithms are secure. The great advantage of ECC algorithms is the key size:
The table above provides the comparison of the key sizes needed for achieving similar levels of security.
Analysis of Secure Comparator:
The secureness of Secure Comparator is based on the security of the Socialist Millionaire Problem Off-the-Record Messaging (OTR) solution (which, in turn, depends on the discrete logarithm problem – DLP). When moving OTR SMP to ECC domain (ed25519) – DLP becomes ECDLP, which is considered to be more secure, because for ECDLP solution there only exist exponential time algorithms (and sub-exponential algorithms exist for DLP).
There are some known threats to OTR SMP – they arise when one of the communicating parties is being dishonest and presents a secret or some of their intermediate parameters are forged. This may cause potential security flaws – i.e. some indirect information about the secret of the honest party may leak if they present their real secret value for comparison. A cheating party would present their fake secret value and then they will be able to learn everything that is implied by the knowledge of
x1, … , xn and f (x1, y), …, f (xn, y), where
y is a real secret value of the honest party. Since Secure Comparator involves additional security proofs and verifications (Zero-knowledge proofs) on each step, it’s considered to be secure against “cheating parties”.
All the cryptosystems of Themis also follow these rules: