1302 search results - page 105 / 261 » Soundness in the Public-Key Model |
164
click to vote
CCS
2005
ACM
16 years 1 days ago
2005
ACM
We examine the problem of keyboard acoustic emanations. We present a novel attack taking as input a 10-minute sound recording of a user typing English text using a keyboard, and t...
157
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
Finless rockets are more efficient than finned designs, but are too unstable to fly unassisted. These rockets require an active guidance system to control their orientation durin...
154
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
We present a new approach to introducing an extensional propositional equality in Intensional Type Theory. Our construction is based on the observation that there is a sound, inte...
165
click to vote
LICS
1994
IEEE
15 years 10 months ago
1994
IEEE
: We give a semantics for a typed object calculus, an extension of System F with object subsumption and method override. We interpret the calculus in a per model, proving the sound...
193
click to vote
UAI
2001
15 years 7 months ago
2001
We present a propositional logic to reason about the uncertainty of events, where the uncertainty is modeled by a set of probability measures assigning an interval of probability ...