4820 search results - page 151 / 964 » Implementing Signatures for C |
107
click to vote
ESORICS
2006
Springer
15 years 6 months ago
2006
Springer
We study the problem of Secure Multi-party Computation (SMC) in a model where individual processes contain a tamper-proof security module, and introduce the TrustedPals framework, ...
118
click to vote
COMPUTING
2006
15 years 3 months ago
2006
The polyhedral homotopy continuation method is known to be a successful method for finding all isolated solutions of a system of polynomial equations. PHoM, an implementation of t...
138
click to vote
VLDB
2002
ACM
15 years 2 months ago
2002
ACM
Current search engines can hardly cope adequately with fuzzy predicates defined by complex preferences. The biggest problem of search engines implemented with standard SQL is that...
164
click to vote
ICFEM
2009
Springer
15 years 23 days ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
157
click to vote
ICST
2009
IEEE
15 years 22 days ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...