2137 search results - page 188 / 428 » Proving Abstract Non-interference |
155
click to vote
FSE
2007
Springer
16 years 19 days 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...
193
click to vote
FSEN
2007
Springer
16 years 19 days 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...
158
click to vote
FSEN
2007
Springer
16 years 19 days 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...
157
click to vote
FSTTCS
2007
Springer
16 years 19 days 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...
156
click to vote
ICANN
2007
Springer
16 years 18 days 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...