Decomposition instead of self-composition for proving the absence of timing channels

Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei

Research output: Contribution to journalArticlepeer-review

17 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Decomposition instead of self-composition for proving the absence of timing channels'. Together they form a unique fingerprint.

Engineering & Materials Science