Identifying Potential Timing Leakages from Hardware Design with Precondition Synthesis.

Minu Chung, Hyungon Moon

Browse the full ESORICS paper archive.