TRACKING TAINT PROPAGATION IN INTEGRATED CIRCUIT DESIGN
Operation of an integrated circuit is simulated. The simulation includes tracking propagation of taint from source data (such as sensitive information or faults) by using taint indicators. The source data is marked as "tainted" by setting a value of a corresponding taint indicator to a tai...
Saved in:
Main Author | |
---|---|
Format | Patent |
Language | English French |
Published |
21.12.2023
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Summary: | Operation of an integrated circuit is simulated. The simulation includes tracking propagation of taint from source data (such as sensitive information or faults) by using taint indicators. The source data is marked as "tainted" by setting a value of a corresponding taint indicator to a taint value. Propagation of the source data along signal paths in the integrated circuit is simulated. The signal paths contain elements through which the source data is propagated. Propagation of the taint from the source data is simulated by calculating values of taint indicators corresponding to signals along the signal paths. These taint indicators indicate whether the taint of the source data has propagated to the corresponding signals. The values of these taint indicators are calculated based on the elements in the signal paths and on the input signals and/or output signals for these elements.
Selon l'invention, un fonctionnement d'un circuit intégré est simulé. La simulation comprend le suivi de propagation d'une altération à partir de données sources (telles que des informations sensibles ou des défauts) à l'aide d'indicateurs d'altération. Les données sources sont marquées comme « altérées » par établissement d'une valeur d'un indicateur d'altération correspondant à une valeur d'altération. La propagation des données sources le long de trajets de signal dans le circuit intégré est simulée. Les trajets de signal contiennent des éléments par lesquels les données sources sont propagées. La propagation de l'altération à partir des données sources est simulée par calcul de valeurs d'indicateurs d'altération correspondant à des signaux le long des trajets de signal. Ces indicateurs d'altération indiquent si l'altération des données sources s'est propagée vers les signaux correspondants. Les valeurs de ces indicateurs d'altération sont calculées sur la base des éléments dans les trajets de signal et des signaux d'entrée et/ou des signaux de sortie pour ces éléments. |
---|---|
Bibliography: | Application Number: WO2023US25528 |