1518 search results - page 35 / 304 » Cryptographic Test Correction |
FC
2010
Springer
14 years 2 months ago
2010
Springer
Since 2004, many nations have started issuing “e-passports” containing an RFID tag that, when powered, broadcasts information. It is claimed that these passports are more secur...
COMCOM
2000
13 years 10 months ago
2000
Secure communication over the Internet becomes an essential requirement for any value-added Internet application. The use of cryptography for secure communication brings out the r...
ICASSP
2008
IEEE
14 years 5 months ago
2008
IEEE
We describe our early experience building and optimizing GOOG-411, a fully automated, voice-enabled, business finder. We show how taking an iterative approach to system developme...
TCC
2010
Springer
13 years 9 months ago
2010
Springer
Previous work on program obfuscation gives strong negative results for general-purpose obfuscators, and positive results for obfuscating simple functions such as equality testing (...
AAAI
1994
14 years 7 days ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...