487 search results - page 19 / 98 » Integral Invariant Signatures |
SSS
2009
Springer
14 years 4 months ago
2009
Springer
This paper develops a framework for wireless security that provides confidentiality, identity authentication, message authentication, integrity, sender non-repudiation, receiver n...
ASIACRYPT
1992
Springer
14 years 1 months ago
1992
Springer
Collision resistant hash functions are an important basic tool for cryptographic applications such as digital signature schemes and integrity protection based on "fingerprinti...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
An efficient archive securing the integrity of VoIP-based two-party conversations is presented. The solution is based on chains of hashes and continuously chained electronic signa...
ICIP
2004
IEEE
14 years 11 months ago
2004
IEEE
Optical flow is widely in use in the field of image processing. In general, optical flow is computed from luminance images. However, optical flow based on luminance information hi...
CAV
2011
Springer
13 years 1 months ago
2011
Springer
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...