Or just include the timing in your models, and derive from those models a suite ...

		otakucode on Jan 11, 2018 \| parent \| context \| favorite \| on: Spectre and the end of langsec Or just include the timing in your models, and derive from those models a suite of tests that can be run on the hardware to verify that the timing is as it was taken to be in the proven system?