634 search results - page 63 / 127 » Groundwork for Weak Analysis |
130
click to vote
CRYPTO
2007
Springer
16 years 6 days ago
2007
Springer
We initiate a complexity-theoretic treatment of hardness amplification for collision-resistant hash functions, namely the transformation of weakly collision-resistant hash functio...
166
click to vote
IH
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. This paper draws together two methodologies for the detection of bit replacement steganography: the principle of maximum likelihood, which is statistically well-founded b...
134
click to vote
HICSS
2006
IEEE
16 years 3 days ago
2006
IEEE
Cooperation among bidders in traditional auctions is generally forbidden because it is harmful to the interests of sellers. However, in a new type of online auction, the group-buy...
161
click to vote
CAV
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
179
click to vote
DSVIS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...