%0 Conference Paper %F Oral %T Asserting causal properties in High Level Synthesis %+ Lab-STICC_UBO_CACS_MOCS %+ Pôle STIC_IDM %+ Lab-STICC_ENSTAB_ CACS_MOCS %A Fabiani, Erwan %A Lagadec, Loïc %A Hammouda, Mohamed Ben %A Teodorov, Ciprian %< avec comité de lecture %B 2017 IEEE 2nd International Verification and Security Workshop (IVSW) %C Thessaloniki, Greece %8 2017-07-03 %D 2017 %Z Computer Science [cs]/Embedded Systems %Z Computer Science [cs]/Hardware Architecture [cs.AR]Conference papers %G English %L hal-01623030 %U https://hal.archives-ouvertes.fr/hal-01623030 %~ CNRS %~ UNIV-UBS %~ INSTITUT-TELECOM %~ ENIB %~ LAB-STICC_ENIB %~ LAB-STICC %~ LAB-STICC_UBO_CACS %~ UNIV-BREST %~ LAB-STICC_UBO %~ ENSTA-BRETAGNE-STIC %~ ENSTA-BRETAGNE %~ IBNM %~ INSTITUTS-TELECOM