An electronic chip is a bit like a person who has to solve a complicated problem under extreme time pressure. Many people know what it feels like when the brain is working at full throttle and the head starts to overheat. You may also get a craving for sweets, because you feel you need more energy. Deep in thought, you might even start muttering under your breath. An electronic chip that is tasked with encrypting data works in a similar way. While it’s doing its job, it may get warm, its power consumption may increase, and it may emit acoustic signals. And all this can pose a security risk. Namely, if the changes to the physical parameters reveal something about the data that the chip is in the process of encrypting.
It has repeatedly been shown that this can happen. In such cases, researchers use the term side-channel attacks, because it is not the encryption algorithm itself that is cracked, but additional information is used to read out confidential data. The time alone that it takes to encrypt certain data can tell us something about the content of the data itself.
"Such attacks don’t require a lot of effort at all," says Dr. Pascal Sasdrich from Ruhr University Bochum. "It’s not something that can only be done by organisations like the NSA. Theoretically, anyone can carry out side-channel attacks from their garage. The necessary equipment only costs around 200 euros." Targets may include transponder keys, card readers and smart home technologies, to name but a few.
Verifying the security of electronic circuits
Pascal Sasdrich is conducting research at the Faculty of Computer Science in the Emmy Noether Junior Research Group "Computer-Aided Verification of Physical Security Properties" (CAVE). Together with colleagues from Professor Amir Moradi’s Implementation Security group, he is focusing on how to find out whether an electronic component is protected against side-channel attacks – and how to build a secure electronic circuit. "When implementing cryptographic processes, manufacturers often want chips to be as small as possible, as efficient as possible or as fast as possible," lists Pascal Sasdrich. Security is usually not their top priority. In addition, a single careless mistake in the implementation of the encryption technology is enough to open a gateway to attackers. The Bochum-based team is therefore developing tools to help manufacturers implement encryption technology.
To this end, it must first be possible to determine whether an existing electronic circuit is secure or not. The group has developed the so-called SILVER method for this purpose. The acronym stands for Statistical Independence and Leakage Verification. This name already reveals what the key to success is: statistical independence. SILVER checks whether the observable physical parameters such as power consumption and temperature during encryption are statistically independent of the data that is being encrypted. In case of statistical independence, no inferences can be drawn from the physical parameters as to the content of the data.
One hundred per cent secure
"Traditionally, other criteria used to be applied for the verification of secure circuits, rather than statistical independence," says Pascal Sasdrich. "The methods were based on hypotheses or estimates and sometimes produced false negative results." In other words, methods were classified as insecure, even though they were in fact not insecure at all. Such errors don’t occur with the SILVER method.
"SILVER is one hundred per cent secure, because it is based on a highly comprehensive analysis," stresses Amir Moradi, adding, however, that "it doesn’t yet work for larger circuits, because the workload would skyrocket." For large circuits, the Bochum-based researchers are currently using simulation-based methods, which prove to be efficient even for complex systems. "However, they aren’t one hundred per cent secure," admits Moradi. His team is now looking for feasible options to verify the security of larger circuits with a high degree of reliability.
Couldn’t we simply break down these more complex systems into several components and check them one by one? "You can look at individual parts and prove that they are secure. But if you then put them together, that doesn’t mean that the entire circuit is secure, too," explains Pascal Sasdrich. This is because the interfaces between the components can constitute a gateway for attackers.
Secure circuit with modular design
David Knichel and Nicolai Müller, likewise members of the Implementation Security research group in Bochum, are working on solutions to this problem. The IT experts are developing modules for electronic circuits that can be securely combined with each other in such a way that the assembled circuit, too, is guaranteed to be resistant to side-channel attacks. These individual modules are referred to as gadgets. "You don’t need many different gadgets to build a circuit," explains David Knichel.
The gadgets map, for example, certain logical operations, such as the multiplication of two bits – a frequently needed operation. However, if a separate gadget were used for every logical operation that has to run in the circuit, the whole structure would take up an extremely large amount of space. The reason is that many bits have to be multiplied together in the encryption process. David Knichel and his colleagues are therefore working on expanding the range of functions of individual gadgets, for example so that one gadget can multiply several bits simultaneously. This would make the circuit faster and smaller.
The gadgets developed by the Bochum-based team aren’t components that physically exist, however, but are available as code instead. "We use a common hardware description language," says Knichel. This means that he and his colleagues provide a construction manual for manufacturers, so to speak.
Automated conversion of insecure circuits into secure ones
Still, protecting electronic circuits from side-channel attacks manually is a tedious task. "We have therefore developed a tool called AGEMA, which can convert an unprotected circuit into a verifiably secure one at the push of a button," points out Nicolai Müller. AGEMA stands for Automated Generation of Masked Hardware. The tool checks which logical operations exist in a circuit and replaces insecure components with the secure gadgets. "We can also take specific preferences into account, i.e. optimise the circuit for speed and size, for example," adds Müller.
The tools developed so far represent the first steps in basic research, rather than solutions that can be used on an industrial scale. After all, a lot of research is still being invested in the automated protection of electronic circuits against side-channel attacks. The IT experts in Bochum will also dedicate much of their efforts to developing optimised solutions – only taking an occasional cooling break.
---
Bits
A bit is the smallest unit of information used by conventional computers. It has the values "0" and "1". Complex information is made up of a large number of bits, which are linked together by logical operations during computing processes.
Original Publications
- David Knichel, Pascal Sasdrich, Amir Moradi: SILVER – Statistical independence and leakage verification, in: Advances in Cryptology (ASIACRYPT), 2020
- David Knichel, Amir Moradi, Nicolai Müller, Pascal Sasdrich: Automated generation of masked hardware, in: IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES), 2022
- David Knichel, Pascal Sasdrich, Amir Moradi: Generic hardware private circuits towards automated generation of composable secure gadgets, in: IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES), 2022
- Nicolai Müller, Amir Moradi: PROLEAD – A probing-based hardware leakage detection tool, in: IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES), 2022
Press Contact
Dr. Pascal Sasdrich
Computer-Aided Verification of Physical Security Properties
Faculty of Computer Science
Ruhr University Bochum
Germany
Phone: +49 234 32 25734
Email: pascal.sasdrich(at)ruhr-uni-bochum.de
Prof. Dr. Amir Moradi
Implementation Security
Faculty of Computer Science
Ruhr University Bochum
Germany
Phone: +49 234 32 27219
Email: amir.moradi(at)ruhr-uni-bochum.de
The article is published as part of the IT security special issue of the science magazine Rubin 2022/23.
General note: In case of using gender-assigning attributes we include all those who consider themselves in this gender regardless of their own biological sex.