Search Sciweavers | Sciweavers

78 search results - page 1 / 16

» sp 2010

click to vote

SP
2010
IEEE

164views Security Privacy» more SP 2010»

A Proof-Carrying File System

13 years 10 months ago

Download www.cs.cmu.edu

Deepak Garg, Frank Pfenning

claim paper

Read More »

click to vote

SP
2010
IEEE

150views Security Privacy» more SP 2010»

Scheduling two-sided transformations using tile algorithms on multicore architectures

13 years 4 months ago

Download icl.cs.utk.edu

Hatem Ltaief, Jakub Kurzak, Jack Dongarra, Rosa M....

claim paper

Read More »

click to vote

SP
2010
IEEE

419views Security Privacy» more SP 2010»

Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors

13 years 10 months ago

Download www.cs.ucsb.edu

Matt Fredrikson, Somesh Jha, Mihai Christodorescu,...

claim paper

Read More »

click to vote

SP
2010
IEEE

161views Security Privacy» more SP 2010»

Towards Static Flow-Based Declassification for Legacy and Untrusted Programs

13 years 10 months ago

Download oakland31.cs.virginia.edu

Bruno P. S. Rocha, Sruthi Bandhakavi, Jerry den Ha...

claim paper

Read More »

click to vote

SP
2010
IEEE

179views Security Privacy» more SP 2010»

TrustVisor: Efficient TCB Reduction and Attestation

13 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers