Explore projects

View VerifMSI project

Gaëtan Cassiers / VerifMSI

0

Updated Jun 10, 2025

0 0 0 0

Updated Jun 10, 2025
View GenericPolyArithUnit project

Dina Kamel / GenericPolyArithUnit

0

Updated Jun 06, 2025

0 0

Updated Jun 06, 2025
View BeVoting II -- RLA project

Olivier Pereira / BeVoting II -- RLA

0

Updated Dec 11, 2023

0 0 0 0

Updated Dec 11, 2023
View b4l-databench project

Gaëtan Cassiers / b4l-databench

0

Updated Apr 13, 2022

0 0 0 0

Updated Apr 13, 2022
View Spook Embedded Implementations project

spook / Spook Embedded Implementations

0

Updated Aug 16, 2020

0 0 1 0

Updated Aug 16, 2020
View Spook High End Implementations project

spook / Spook High End Implementations

Spook software implementations for high-end microprocessors: from 32 bit generic target to AVX512 x86_64 processors.

0

Updated Aug 14, 2020

0 0 0 0

Updated Aug 14, 2020
View Spook Python Implementation project

spook / Spook Python Implementation

0

Updated Aug 12, 2020

0 0 0 0

Updated Aug 12, 2020
View HW_CTF project

spook / HW_CTF

0

Updated May 11, 2020

0 0 0 0

Updated May 11, 2020
View masked_spook_sw project

spook / masked_spook_sw

0

Updated May 11, 2020

0 0 0 0

Updated May 11, 2020
View u2f-ref-code project

Florentin Rochet / u2f-ref-code

U2F reference implementations

0

Updated Jan 19, 2016

0 0 0 0

Updated Jan 19, 2016