HotSec '13: 2013 USENIX Summit on Hot Topics in Security