Search Sciweavers | Sciweavers

1894 search results - page 27 / 379

» A TLA Proof System

click to vote

CIE
2010
Springer

141views Applied Computing» more CIE 2010»

The Limits of Tractability in Resolution-Based Propositional Proof Systems

14 years 7 days ago

Download www.dur.ac.uk

We study classes of propositional contradictions based on the Least Number Principle (LNP) in the refutation system of Resolution and its generalisations with bounded conjunction, ...

Stefan S. Dantchev, Barnaby Martin

claim paper

Read More »

click to vote

DIMVA
2010

154views Computer Networks» more DIMVA 2010»

Conqueror: Tamper-Proof Code Execution on Legacy Systems

14 years 3 days ago

Download security.dico.unimi.it

We present Conqueror, a software-based attestation scheme for tamper-proof code execution on untrusted legacy systems. Beside providing load-time attestation of a piece of code, Co...

Lorenzo Martignoni, Roberto Paleari, Danilo Brusch...

claim paper

Read More »

click to vote

PLDI
2006
ACM

99views Programming Languages» more PLDI 2006»

Termination proofs for systems code

14 years 4 months ago

Download www.foment.net

Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...

Byron Cook, Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

click to vote

SP
2008
IEEE

92views Security Privacy» more SP 2008»

Thinking Inside the Box: System-Level Failures of Tamper Proofing

14 years 5 months ago