10715 search results - page 59 / 2143 » From Tests to Proofs |
CAV
2010
Springer
14 years 1 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...
ASPDAC
2008
ACM
13 years 10 months ago
2008
ACM
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...
NOMS
2006
IEEE
14 years 3 months 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...
POPL
1997
ACM
14 years 1 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...
TCC
2010
Springer
14 years 4 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 ...