6861 search results - page 146 / 1373 » Security for Ubiquitous Computing |
141
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
130
click to vote
NSPW
2004
ACM
15 years 9 months ago
2004
ACM
Current models of Internet Computing are highly asymmetric – a host protects itself from malicious mobile Java programs, but there is no way to get assurances about the behavior...
157
click to vote
CRYPTO
2012
Springer
13 years 6 months ago
2012
Springer
We construct a functional encryption scheme secure against an a-priori bounded polynomial number of collusions for the class of all polynomial-size circuits. Our constructions req...
144
Voted
SOUPS
2010
ACM
15 years 8 months ago
2010
ACM
Home computer systems are frequently insecure because they are administered by untrained, unskilled users. The rise of botnets has amplified this problem; attackers can compromis...
143
Voted
CTRSA
2009
Springer
15 years 11 months ago
2009
Springer
In the setting of multiparty computation a set of parties with private inputs wish to compute some joint function of their inputs, whilst preserving certain security properties (l...