154 search results - page 12 / 31 » Electromagnetic Analysis: Concrete Results |
73
Voted
AAAI
2007
15 years 6 hour ago
2007
Models of crowd behavior facilitate analysis and prediction of human group behavior, where people are affected by each other’s presence. Unfortunately, existing models leave man...
ASIACRYPT
2003
Springer
15 years 2 months ago
2003
Springer
Provable security usually makes the assumption that a source of perfectly random and secret data is available. However, in practical applications, and especially when smart cards a...
CAV
2007
Springer
15 years 3 months ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
87
Voted
ICCS
2004
Springer
15 years 3 months ago
2004
Springer
FCA has been successfully applied to software engineering tasks such as source code analysis and class hierarchy re-organization. Most notably, FCA hematics behind the mechanism of...
68
Voted
ESOP
2005
Springer
15 years 3 months ago
2005
Springer
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...