5639 search results - page 1024 / 1128 » Timed Abstract Non-interference |
131
click to vote
TCC
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Goldreich (ECCC 2000) proposed a candidate one-way function construction which is parameterized by the choice of a small predicate (over d = O(1) variables) and of a bipa...
111
click to vote
PKC
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The success of electronic authentication systems, be it eID card systems or Internet authentication systems such as CardSpace, highly depends on the provided level of use...
115
click to vote
PKC
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Traitor tracing schemes are cryptographically secure broadcast methods that allow identification of conspirators: if a pirate key is generated by k traitors out of a stat...
109
click to vote
CHI
2006
ACM
16 years 2 months ago
2006
ACM
Digital Manipulatives embed computation in familiar children's toys and provide means for children to design behavior. Some systems use "record and play" as a form ...
106
click to vote
VLSID
2006
IEEE
16 years 2 months ago
2006
IEEE
SoC design methodologies are under constant revision due to adoption of fast shrinking process technologies at nanometer levels. Nanometer process geometries exhibit new complex d...