On Joint Cryptographic Verification and Channel Decoding via the Maximum Likelihood Criterion.
Natasa ZivicMark F. FlanaganPublished in: IEEE Commun. Lett. (2012)
Keyphrases
- maximum likelihood criterion
- noisy channel
- parity check
- error control
- image transmission
- cryptographic protocols
- model checking
- turbo codes
- multi channel
- joint source channel
- decision feedback
- high assurance
- smart card
- formal verification
- low density parity check
- key management
- communication channels
- hash functions
- transmission over noisy channels
- image quality