8810 search results - page 190 / 1762 » Openness |
167
click to vote
CRYPTO
2009
Springer
16 years 29 days ago
2009
Springer
We consider two-party quantum protocols starting with a transmission of some random BB84 qubits followed by classical messages. We show a general “compiler” improving the secur...
241
click to vote
FOSAD
2009
Springer
16 years 29 days ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
158
click to vote
ICMI
2009
Springer
16 years 29 days ago
2009
Springer
We review key challenges of developing spoken dialog systems that can engage in interactions with one or multiple participants in relatively unconstrained environments. We outline...