2488 search results - page 167 / 498 » An improvement in formal verification |
HASE
2008
IEEE
15 years 7 months ago
2008
IEEE
—Formal methods provide remarkable tools allowing for high levels of confidence in the correctness of developments. Their use is therefore encouraged, when not required, for the...
109
click to vote
NORDSEC
2009
Springer
15 years 5 months ago
2009
Springer
In this paper, we report the results of the formal analysis performed on the Estonian Mobile-ID protocol (deployed since 2008), allowing citizens and permanent residents of Estonia...
130
click to vote
WCRE
1995
IEEE
15 years 4 months ago
1995
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
112
click to vote
COMMA
2008
15 years 2 months ago
2008
In this paper we propose a formal dialogue game in which two players aim to determine the best explanation for a set of observations. By assuming an adversarial setting, we force t...
107
click to vote
ISLPED
2005
ACM
15 years 6 months ago
2005
ACM
Designers are moving toward chip-multiprocessors (CMPs) to leverage application parallelism for higher performance while keeping design complexity under control. However, to date,...