3624 search results - page 524 / 725 » Abstract Algebraic Logic |
186
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
196
click to vote
TCC
2012
Springer
14 years 2 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...
296
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
202
click to vote
CCGRID
2006
IEEE
16 years 19 days ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
215
click to vote
PPDP
2005
Springer
16 years 1 days ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....