814 search results - page 83 / 163 » Analysis of Modular Arithmetic |
91
Voted
FSE
2006
Springer
15 years 1 months ago
2006
Springer
This is the first article analyzing the security of SHA-256 against fast collision search which considers the recent attacks by Wang et al. We show the limits of applying technique...
CAV
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
SAMOS
2009
Springer
15 years 2 months ago
2009
Springer
The demands for high quality, real-time performance and multi-format video support in consumer multimedia products are ever increasing. In particular, the future multimedia systems...
ICMCS
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper describes a watermarking method to directly embed information into a CABAC entropy coded H.264/AVC stream. In theory, modification of a part of an arithmetically coded ...
80
Voted
SIAMJO
2008
14 years 10 months ago
2008
Abstract. The recently introduced proximal average of two convex functions is a convex function with many useful properties. In this paper, we introduce and systematically study th...