7924 search results - page 984 / 1585 » Non-Malleable Functions and Their Applications |
195
click to vote
HASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Embedded systems are used for critical applications that must adhere to safety constraints. Developers of these systems face three key challenges when attempting to apply existing...
186
Voted
FC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper introduces certified sets to the private set intersection problem. A private set intersection protocol allows Alice and Bob to jointly compute the set intersec...
209
click to vote
FMCAD
2009
Springer
15 years 11 months ago
2009
Springer
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
190
click to vote
HICSS
2009
IEEE
2009
IEEE
An Information Systems Design Product Theory for Software Project Estimation and Measurement Systems
15 years 11 months ago
: There is relatively little research on software Project Estimation and Measurement Systems (PEMS). Commercial PEMS vary in functionality and effectiveness. Their intended users t...
206
click to vote
ACMSE
2004
ACM
15 years 11 months ago
2004
ACM
Over the past decade, the need to build secure software has become a dominant goal in software development. Consequently, software researchers and practitioners have identified wa...