Abstract
The linear layer (which can be equivalently expressed as a binary non-singular matrix) is an essential component in modern cipher construction. Thus a low-cost implementation of the linear layer is needed in order to reduce the cost for the overall cipher implementation. In this work, we propose new modelling based on Satisfiability Modulo Theory (SMT) and Mixed Integer Linear Programming (MILP) which can find the optimal linear layer given certain conditions (such as, the dimension of the matrix). Our modelling automates the process of finding good linear layers.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Baksi, A., Karmakar, B., Dasu, V.A., Saha, D., Chattopadhyay, A.: Further insights on implementation of the linear layer. In: SILC Workshop - Security and Implementation of Lightweight Cryptography (2021)
Baksi, A., Maitra, S., Sarkar, S.: An improved slide attack on trivium. IPSI BgD Trans. Adv. Res. (2015). http://vipsi.org/ipsi/journals/journals/papers/tar/2015jan/p1.pdf
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Baksi, A., Karmakar, B., Dasu, V.A. (2021). POSTER: Optimizing Device Implementation of Linear Layers with Automated Tools. In: Zhou, J., et al. Applied Cryptography and Network Security Workshops. ACNS 2021. Lecture Notes in Computer Science(), vol 12809. Springer, Cham. https://doi.org/10.1007/978-3-030-81645-2_30
Download citation
DOI: https://doi.org/10.1007/978-3-030-81645-2_30
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-81644-5
Online ISBN: 978-3-030-81645-2
eBook Packages: Computer ScienceComputer Science (R0)