4340 search results - page 573 / 868 » Formal Methods and Cryptography |
161
click to vote
APSEC
2006
IEEE
16 years 21 days ago
2006
IEEE
In many software development projects, people tend to repeat same mistakes due to lack of shared knowledge from past experiences. Generally, it is very difficult to manually find ...
184
Voted
SAINT
2006
IEEE
16 years 19 days ago
2006
IEEE
Previous works on information extraction from tables make use of prior knowledge such as a cognition model of tables or lexical knowledge bases for specific domains. However, we ...
163
click to vote
SCAM
2006
IEEE
16 years 19 days ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...
215
click to vote
CSFW
2005
IEEE
16 years 7 days ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
176
click to vote
WACV
2005
IEEE
16 years 6 days ago
2005
IEEE
— In this work, we present a formalization of the video synchronization problem that exposes new variants of the problem that have been left unexplored to date. We also present a...