523 search results - page 30 / 105 » codes 2011 |
115
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
212
Voted
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
Stereoscopic video is an important manner for 3-D video applications, and robust stereoscopic video transmission has posed a technical challenge for stereoscopic video coding. In ...
173
Voted
ESORICS
2011
Springer
14 years 6 days ago
2011
Springer
Abstract. Trigger-based code (malicious in many cases, but not necessarily) only executes when specific inputs are received. Symbolic execution has been one of the most powerful t...
80
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
This paper presents a very low bit-rate F0 coding technique for speaker-dependent phonetic vocoder based on hidden Markov model (HMM) using quantized F0 context. In the proposed t...
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
This paper presents several watermarking methods preventing the estimation of the secret key by an adversary. The constraints for secure embedding using distribution matching, whe...