  From the output produced by a memoryless deletion channel with a uniformly
random input of known length $n$, one obtains a posterior distribution on the
channel input. The difference between the Shannon entropy of this distribution
and that of the uniform prior measures the amount of information about the
channel input which is conveyed by the output of length $m$. We first
conjecture on the basis of experimental data that the entropy of the posterior
is minimized by the constant strings $\texttt{000}\ldots$, $\texttt{111}\ldots$
and maximized by the alternating strings $\texttt{0101}\ldots$,
$\texttt{1010}\ldots$. We present related combinatorial theorems involving
binary (sub/super)-sequences and prove the minimal entropy conjecture for
single and double deletions using clustering techniques. We then prove the
minimization conjecture in the asymptotic limit using results from hidden word
statistics by showing how the analytic-combinatorial methods of Flajolet,
Szpankowski and Vall\'ee, relying on generating functions, can be applied to
resolve the case of fixed output length and $n\rightarrow\infty$.
  Next, we revisit the notion of deniability in quantum key exchange (QKE). We
introduce and formalize the notion of coercer-deniable QKE. We then establish a
connection between covert communication and deniability to propose DC-QKE, a
simple and provably secure construction for coercer-deniable QKE. We relate
deniability to fundamental concepts in quantum information theory and suggest a
generic approach based on entanglement distillation for achieving
information-theoretic deniability, followed by an analysis of other closely
related results such as the relation between the impossibility of
unconditionally secure quantum bit commitment and deniability. Finally, we
present an efficient coercion-resistant and quantum-secure voting scheme, based
on fully homomorphic encryption.
