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

Validating Floating Point Implementations

January 27, 2026

Presenters

Pierre Ciadoux - NIST @ USA

Description

Abstract. In this talk, we show how floating-point arithmetic can lead to non-deterministic results and how this issue can be addressed during validation.

Presented by Pierre Ciadoux

[Slides]

Presented at

Presented at MPTS 2026: NIST Workshop on Multi-Party Threshold Schemes

Downloads

Event Details

Location

    
                                

Related Topics

Security and Privacy: cryptography

Created January 22, 2026, Updated February 12, 2026