Time Sharing - A Novel Approach to Low-Latency Masking

This repository contains the supplementary materials corresponding to the paper "Time Sharing - A Novel Approach to Low-Latency Masking" accepted for publication in CHES 2024. We include the HDL source code(Verilog), corresponding netlists and formal verification results for the S-Boxes of PRINCE and AES.The source code can be used as a reference for the the novel masking technique to construct implementations of other ciphers.