2137 search results - page 188 / 428 » Proving Abstract Non-interference |
110
click to vote
FSE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Given (deterministic) ciphers E and E that can encipher messages of l and n bits, respectively, we construct a cipher E∗ = XLS[E, E] that can encipher messages of l + s...
134
click to vote
FSEN
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Component-based programming is about how to create application programs from prefabricated components with new software that provides both glue between the components, an...
119
Voted
FSEN
2007
Springer
15 years 9 months ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
124
click to vote
FSTTCS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
121
click to vote
ICANN
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Recurrent neural networks (RNNs) have proved effective at one dimensional sequence learning tasks, such as speech and online handwriting recognition. Some of the properti...