Compiler assisted masking
Abstract Differential Power Analysis (DPA) attacks find a statistical correlation between the
power consumption of a cryptographic device and intermediate values within the …
power consumption of a cryptographic device and intermediate values within the …
Usuba: high-throughput and constant-time ciphers, by construction
D Mercadier, PÉ Dagand - Proceedings of the 40th ACM SIGPLAN …, 2019 - dl.acm.org
Cryptographic primitives are subject to diverging imperatives. Functional correctness and
auditability pushes for the use of a high-level programming language. Performance and the …
auditability pushes for the use of a high-level programming language. Performance and the …
Secure computing with the MPEG RVC framework
Recently, ISO/IEC standardized a dataflow-programming framework called Reconfigurable
Video Coding (RVC) for the specification of video codecs. The RVC framework aims at …
Video Coding (RVC) for the specification of video codecs. The RVC framework aims at …
Ctl: A platform-independent crypto tools library based on dataflow programming paradigm
The diversity of computing platforms is increasing rapidly. In order to allow security
applications to run on such diverse platforms, implementing and optimizing the same …
applications to run on such diverse platforms, implementing and optimizing the same …
Automatic insertion of dpa countermeasures
Abstract Differential Power Analysis (DPA) attacks find a statistical correlation between the
power consumption of a cryptographic device and intermediate values within the …
power consumption of a cryptographic device and intermediate values within the …
Building multimedia security applications in the MPEG Reconfigurable Video Coding (RVC) framework
Although used by most of system developers, imperative languages are known for not being
able to provide easily reconfigurable, platform independent and strictly modular …
able to provide easily reconfigurable, platform independent and strictly modular …