4101 search results - page 249 / 821 » Differential Power Analysis |
187
click to vote
FOSSACS
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
137
click to vote
HICSS
2002
IEEE
16 years 6 days ago
2002
IEEE
The definition of a service is key to the ability to meter it, measure it, regulate it, price it, or otherwise take it into consideration. Reserves (a form of power supply insuran...
184
click to vote
ICPR
2010
IEEE
16 years 4 days ago
2010
IEEE
Covariance matrices have recently been a popular choice for versatile tasks like recognition and tracking due to their powerful properties as local descriptor and their low comput...
175
click to vote
ISLPED
1998
ACM
15 years 11 months ago
1998
ACM
- The objective of this paper is to provide lower and upper bounds for the switching activity on the state lines in Finite State Machines (FSMs). Using a Markov chain model for the...
226
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...