Generating and exploring S-box multivariate quadratic equation systems with SageMath | IEEE Conference Publication | IEEE Xplore