4340 search results - page 220 / 868 » Formal Methods and Cryptography |
169
click to vote
DBSEC
1996
15 years 6 months ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
155
click to vote
IFM
2010
Springer
15 years 3 months ago
2010
Springer
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
176
click to vote
NFM
2011
14 years 11 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
151
click to vote
EUROCRYPT
2009
Springer
16 years 5 months ago
2009
Springer
The fair evaluation and comparison of side-channel attacks and countermeasures has been a long standing open question, limiting further developments in the field. Motivated by this...
137
click to vote
CHES
2009
Springer
16 years 5 months ago
2009
Springer
Tamper-proof devices are pretty powerful. They can be used to have better security in applications. In this work we observe that they can also be maliciously used in order to defea...