1518 search results - page 36 / 304 » Cryptographic Test Correction |
106
Voted
CASSIS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
71
Voted
EOR
2008
15 years 17 days ago
2008
This article reviews a number of statistical tests for comparing proportions. These statistical tests are presented in a comprehensive way, so that OR practitioners can easily und...
81
Voted
STVR
2002
15 years 4 days ago
2002
This paper describes the use of conditioned slicing to assist partition testing, illustrating this with a case study. The paper shows how a conditioned slicing tool can be used to...
127
click to vote
SACRYPT
2009
Springer
15 years 7 months ago
2009
Springer
The classical McEliece cryptosystem is built upon the class of Goppa codes, which remains secure to this date in contrast to many other families of codes but leads to very large pu...
119
click to vote
ISICT
2003
15 years 1 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...