document.write("«&nbsp;<a href='/news/view?id=148214'>Coolest Things I Learned in 2018</a>");document.write(" | ");document.write("<a href='/news/view?id=148216'>Covert Secret Key Generation with an Active Warden. (arXiv:1901.02044v1 [cs.IT])</a>&nbsp;»");