1518 search results - page 6 / 304 » Cryptographic Test Correction |
LICS
1999
IEEE
13 years 11 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
SICHERHEIT
2008
13 years 8 months ago
2008
We specify a system for authentication and key derivation using genetic fingerprints which prevents the recovery of biometric information from data stored for verification. We pre...
ASIAN
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We present a reduction semantics for the LYSA calculus extended with session information, for modelling cryptographic protocols, and a static analysis for it. If a protoc...
FC
2007
Springer
14 years 1 months ago
2007
Springer
While transparency in financial markets should enhance liquidity, its exploitation by unethical and parasitic traders discourages others from fully embracing disclosure of their o...
FDTC
2010
Springer
13 years 5 months ago
2010
Springer
The testability of the cryptographic cores brings in an extra dimension to the process of digital circuits testing