2303 search results - page 184 / 461 » The Cryptographic Abstract Machine |
153
click to vote
JAPLL
2007
15 years 6 months ago
2007
ecking, algebraic, abstract machines, etc.). THE JOURNAL The Journal of Applied Logic1 publishes papers in areas of logic which can be applied in other disciplines as well as appli...
156
click to vote
CASSIS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
175
click to vote
ISQED
2010
IEEE
15 years 8 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...
192
click to vote
TCC
2012
Springer
14 years 1 months ago
2012
Springer
The hash-and-sign RSA signature is one of the most elegant and well known signatures schemes, extensively used in a wide variety of cryptographic applications. Unfortunately, the o...
150
click to vote
KI
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...