A functional specification and validation model for networks on chip in the ACL2 logic

International audience

Definition of Model-based diagnosis problems with Altarica

International audience

Improving DPA and DFA resistance of circuits using asynchronous logic

International audience