8810 search results - page 190 / 1762 » Openness |
124
Voted
CRYPTO
2009
Springer
15 years 10 months 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...
346
Voted
DILS
2009
Springer
15 years 10 months ago
2009
Springer
183
Voted
FOSAD
2009
Springer
15 years 10 months 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...
113
Voted
ICICS
2009
Springer
15 years 10 months ago
2009
Springer
120
Voted
ICMI
2009
Springer
15 years 10 months 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...