2687 search results - page 173 / 538 » Formal Analysis of PKCS |
220
click to vote
POPL
2002
ACM
16 years 4 months ago
2002
ACM
It is an important criterion of program correctness that a program accesses resources in a valid manner. For example, a memory region that has been allocated should be eventually ...
129
Voted
FM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
110
click to vote
SFM
2009
Springer
15 years 11 months ago
2009
Springer
In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serv...
121
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
Component forensics is an emerging methodology for forensic analysis that aims at estimating the algorithms and parameters in each component of a digital device. This paper propos...
117
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
RFIC reliability is fast becoming a major bottleneck in the yield and performance of modern IC systems, as process complexity and levels of integration continually increase. Due t...