Posted on February 07, 2017 at 22:34None I know of.
The only dedicated devboard I know of is the related
http://www.st.com/en/evaluation-tools/stm3241g-eval.html
, but it's a bit pricey, hundreds of $.
In fact, I know of none of the DISCOs or NUCLEOs populated with any of the crypto-enabled STM32 variants.
The 'F417 is the same as 'F407, so as far as the peripherals are concerned, you can fully asses them with the '
http://www.st.com/content/st_com/en/products/evaluation-tools/product-evaluation-tools/mcu-eval-tools/stm32-mcu-eval-tools/stm32-mcu-discovery-kits/stm32f4discovery.html
.
If you want to play specifically with the 'F417's crypto features, then one of the options is to buy either the 'F4 DISCO or any Nucleo144, plus a 'F417 in matching package, and swap it for what is on the board.
JW