23413 search results - page 4535 / 4683 » or 2005 |
195
click to vote
TCC
2005
Springer
16 years 15 days ago
2005
Springer
We initiate a study of Maurer’s bounded storage model (JoC, 1992) in presence of transmission errors and perhaps other types of errors that cause different parties to have incon...
183
Voted
TCC
2005
Springer
16 years 15 days ago
2005
Springer
Russell and Wang [22] recently introduced an elegant, information-theoretic notion called entropic security of encryption: they required that the cipher text leak no predicate of ...
178
Voted
TGC
2005
Springer
16 years 15 days ago
2005
Springer
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acade...
185
Voted
TLCA
2005
Springer
16 years 15 days ago
2005
Springer
There is growing public concern about personal data collected by both private and public sectors. People have very little control over what kinds of data are stored and how such da...
192
click to vote
TLCA
2005
Springer
16 years 15 days ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...