2137 search results - page 161 / 428 » Proving Abstract Non-interference |
163
click to vote
FMCO
2007
Springer
16 years 17 days ago
2007
Springer
This paper describes the architecture of costa, an abstract interpretation based cost and termination analyzer for Java bytecode. The system receives as input a bytecode program, (...
166
click to vote
IFM
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Event-B is a notation and method for discrete systems modelling by refinement. We introduce a small but very useful construction: qualitative probabilistic choice. It ex...
148
click to vote
SAS
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
134
click to vote
TCC
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. This paper presents a very simple and efficient adaptivelysound perfect NIZK argument system for any NP-language. In contrast to recently proposed schemes by Groth, Ostro...
143
click to vote
WDAG
2007
Springer
16 years 15 days ago
2007
Springer
The deferred update technique is a widely used approach for building replicated database systems. Its fame stems from the fact that read-only transactions can execute locally to a...