249 search results - page 32 / 50 » A secure scan design methodology |
SAFECOMP
2010
Springer
13 years 5 months ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
GECCO
2004
Springer
14 years 1 months ago
2004
Springer
Go remains a challenge for artificial intelligence. Currently, most machine learning methods tackle Go by playing on a specific fixed board size, usually smaller than the standa...
CCS
2010
ACM
13 years 4 months ago
2010
ACM
Cryptographic systems and protocols are the core of many Internet security procedures (such as SSL, SSH, IPSEC, DNSSEC, secure mail, etc.). At the heart of all cryptographic funct...
VOTEID
2007
Springer
14 years 1 months ago
2007
Springer
Performing a good security analysis on the design of a system is an essential step in order to guarantee a reasonable level of protection. However, different attacks and threats m...
CONEXT
2006
ACM
14 years 1 months ago
2006
ACM
Secure routing in wireless sensor networks (WSN) is a crucial problem that has drawn the attention of researchers. The motivation for tackling this problem comes directly from the...