10 search results - page 1 / 2 » Language-based control and mitigation of timing channels |
77
Voted
PLDI
2012
ACM
13 years 18 days ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
75
Voted
CCS
2010
ACM
14 years 10 months ago
2010
ACM
We investigate techniques for general black-box mitigation of timing channels. The source of events is wrapped by a timing mitigator that delays output events so that they contain...
93
Voted
SP
2009
IEEE
15 years 4 months ago
2009
IEEE
—This paper studies and evaluates the extent to which automated compiler techniques can defend against timing-based side-channel attacks on modern x86 processors. We study how mo...
120
Voted
ICFP
2012
ACM
13 years 17 days ago
2012
ACM
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...
77
Voted
JIRS
2010
14 years 8 months ago
2010
Abstract This paper investigates simple and robust transparency-attainable control architectures for bilateral teleoperation. The strength of two-channel control architectures and ...