Pith. sign in

REVIEW 1 cited by

Deterministically Deterring Timing Attacks in Deterland

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1504.07070 v2 pith:3HPZGIWT submitted 2015-04-27 cs.OS

classification cs.OS
keywords timingcloudapplicationschannelscostleakagemitigationresource
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

The massive parallelism and resource sharing embodying today's cloud business model not only exacerbate the security challenge of timing channels, but also undermine the viability of defenses based on resource partitioning. We propose hypervisor-enforced timing mitigation to control timing channels in cloud environments. This approach closes "reference clocks" internal to the cloud by imposing a deterministic view of time on guest code, and uses timing mitigators to pace I/O and rate-limit potential information leakage to external observers. Our prototype hypervisor is the first system to mitigate timing-channel leakage across full-scale existing operating systems such as Linux and applications in arbitrary languages. Mitigation incurs a varying performance cost, depending on workload and tunable leakage-limiting parameters, but this cost may be justified for security-critical cloud applications and data.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Pacer: Comprehensive Network Side-Channel Mitigation in the Cloud

    cs.CR 2019-08 conditional novelty 7.0 of 10

    Pacer is a hypervisor-and-guest defense that pads and paces all outgoing VM traffic to a secret-independent schedule, with a formal noninterference proof and measured moderate overheads.

Pith tools