5639 search results - page 972 / 1128 » Timed Abstract Non-interference |
108
click to vote
WCRE
2010
IEEE
15 years 8 days ago
2010
IEEE
—Visualizations of actual run-time data support the comprehension of programs, like examples support the ion of abstract concepts and principles. Unfortunately, the required run-...
WOTE
2010
15 years 8 days ago
2010
Abstract. In this paper, we study the problem of simultaneously achieving several security properties, for voting schemes, without non-standard assumptions. More specifically, we ...
157
click to vote
AROBOTS
2010
15 years 7 days ago
2010
Abstract Modern service robots will soon become an essential part of modern society. As they have to move and act in human environments, it is essential for them to be provided wit...
101
click to vote
ASIACRYPT
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. In this paper we combine a recent rotational cryptanalysis with the rebound attack, which results in the best cryptanalysis of Skein, a candidate for the SHA-3 competitio...
107
click to vote
ASPDAC
2010
ACM
14 years 12 months ago
2010
ACM
- The design of embedded computing systems faces a serious productivity gap due to the increasing complexity of their hardware and software components. One solution to address this...