13383 search results - page 116 / 2677 » Abstractions from proofs |
141
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
115
click to vote
NOMS
2006
IEEE
16 years 1 days ago
2006
IEEE
This paper discusses the aims, objectives and early deliverables from the OpenOSS project which has been set up with the sponsorship of a number of Telecommunications Service Prov...
148
click to vote
POPL
1997
ACM
15 years 10 months ago
1997
ACM
Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the problem arises of quis custodiat ipsos custodes—wh...
149
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Continuation Passing Style (CPS) is one of the most important issues in the field of functional programming languages, and the quest for a primitive notion of types for continuati...
155
click to vote
TCC
2010
Springer
16 years 1 months ago
2010
Springer
A number of works have investigated using tamper-proof hardware tokens as tools to achieve a variety of cryptographic tasks. In particular, Goldreich and Ostrovsky considered the ...