Mihir Bellare Shanshan Duan Adriana Palacio Key Insulation and Intrusion Resilience over a Public Channel. 84-99 2009 CT-RSA http://dx.doi.org/10.1007/978-3-642-00862-7_6 conf/ctrsa/2009 db/conf/ctrsa/ctrsa2009.html#BellareDP09