227 search results - page 46 / 46 » On the Reachability Problem in Cryptographic Protocols |
152
click to vote
TIT
2008
15 years 2 months ago
2008
We introduce a new state discrimination problem in which we are given additional information about the state after the measurement, or more generally, after a quantum memory bound ...
153
Voted
CODASPY
2012
13 years 11 months ago
2012
Main stream operating system kernels lack a strong and reliable mechanism for identifying the running processes and binding them to the corresponding executable applications. In t...