4340 search results - page 547 / 868 » Formal Methods and Cryptography |
141
Voted
ISOLA
2004
Springer
16 years 20 hour ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
174
click to vote
ISW
2004
Springer
16 years 19 hour ago
2004
Springer
Abstract Ajay Chander1 , Drew Dean2 , and John Mitchell3 1 DoCoMo Communications Laboratories USA, San Jose, CA 95110 2 Computer Science Laboratory, SRI International, Menlo Park, ...
179
click to vote
KR
2004
Springer
16 years 17 hour ago
2004
Springer
The Fluent Calculus has largely been focused on building agents that work individually. However, agents often need to interact with each other to learn more about their environmen...
178
click to vote
SACRYPT
2004
Springer
16 years 8 hour ago
2004
Springer
A general method to secure cryptographic algorithm implementations against side-channel attacks is the use of randomization techniques and, in particular, masking. Roughly speaking...
183
click to vote
VECPAR
2004
Springer
16 years 4 hour ago
2004
Springer
Abstract. IBM is currently developing the new line of BlueGene/L supercomputers. The top-of-the-line installation is planned to be a 65,536 processors system featuring a peak perfo...