Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Presentation

VerMI: Verification Tool for Masked Implementations

March 12, 2019

Presenters

Victor Arribas - KU Leuven

Description

Joint work with: Sveta Nikova, Vincent Rijmen.

Abstract. Masking is a widely used countermeasure against Side-Channel Attacks, nonetheless, the implementation of these countermeasures is challenging. Experimental security evaluation requires special equipment, a considerable amount of time, and extensive technical knowledge. Therefore, to automate and to speed up this process, a formal verification can be performed to asses the security of a design. In this work we present VerMI, a verification tool in the form of a logic simulator that checks the properties defined in Threshold Implementations to address the security of a hardware implementation for meaningful orders of security. The tool is designed so that any masking scheme can be evaluated. It accepts combinational and sequential logic and is able to analyze an entire cipher in short time. With the tool we have managed to spot a flaw in the round-based KECCAK implementation by Gross et al., published in DSD 2017.

VerMI: Verification Tool for Masked Implementations. Click to watch the video.

(Click the above image to see video on Youtube)

Presented at

NIST Threshold Cryptography Workshop 2019

Downloads

Presentation (PDF)

Event Details

Location

    NIST, Gaithersburg campus

Related Topics

Security and Privacy: cryptography

Created March 12, 2019, Updated June 11, 2021