Automatic Software Optimization of Block Ciphers using Bitslicing Techniques

In order to implement efficiently in software block ciphers, advanced bitslicing techniques (such as those described by Biham[1]) may be used. However, these techniques lead to a slow development process, and the resulting code is hard to maintain. We describe here a compiler that takes a formal description of an algorithm and outputs C code implementing it in an optimized way