Gate-Level Side-Channel Leakage Ranking With Architecture Correlation Analysis von Kiaei, Pantea, Yao, Yuan, Liu, Zhenyuan, Fern, Nicole, Breunesse, Cees-Bart, Van Woudenberg, Jasper, Gillis, Kate, Dich, Alex, Grossmann, Peter, Schaumont, Patrick

Volltext

Rewrite to Reinforce: Rewriting the Binary to Apply Countermeasures against Fault Injection von Kiaei, Pantea, Breunesse, Cees-Bart, Ahmadi, Mohsen, Schaumont, Patrick, van Woudenberg, Jasper

Volltext bestellen

Gate-Level Side-Channel Leakage Assessment with Architecture Correlation Analysis von Kiaei, Pantea, Yao, Yuan, Liu, Zhenyuan, Fern, Nicole, Breunesse, Cees-Bart, Van Woudenberg, Jasper, Gillis, Kate, Dich, Alex, Grossmann, Peter, Schaumont, Patrick

Volltext bestellen

Rewrite to Reinforce: Rewriting the Binary to Apply Countermeasures against Fault Injection von Kiaei, Pantea, Cees-Bart Breunesse, Ahmadi, Mohsen, Schaumont, Patrick, Jasper van Woudenberg

Volltext

Gate-Level Side-Channel Leakage Assessment with Architecture Correlation Analysis von Kiaei, Pantea, Yao, Yuan, Liu, Zhenyuan, Fern, Nicole, Cees-Bart Breunesse, Jasper Van Woudenberg, Gillis, Kate, Dich, Alex, Grossmann, Peter, Schaumont, Patrick

Volltext

Specifying and verifying a decimal representation in Java for smart cards von BREUNESSE, Cees-Bart, JACOBS, Bart, VAN DEN BERG, Joachim

Volltext

Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification von Kiniry, Joseph R., Chalin, Patrice, Hurlin, Clément

Volltext

Specifying and Verifying a Decimal Representation in Java for Smart Cards von Breunesse, Cees-Bart, Jacobs, Bart, van den Berg, Joachim

Volltext