Chandan Karfa

MaskedHLS ofrece una solución para crear hardware seguro que protege contra ataques de canal lateral de potencia.

Aprovechando grandes modelos de lenguaje para la generación eficiente de afirmaciones en la verificación de diseño electrónico.