2687 search results - page 495 / 538 » Formal Analysis of PKCS |
202
click to vote
POPL
2006
ACM
16 years 1 months ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
224
Voted
POPL
2004
ACM
16 years 1 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
222
Voted
POPL
2004
ACM
16 years 1 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
179
Voted
SIGMOD
2006
ACM
16 years 29 days ago
2006
ACM
For Web applications in which the database component is the bottleneck, scalability can be provided by a third-party Database Scalability Service Provider (DSSP) that caches appli...
VMCAI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...