RT @mrkoot: cryptocode: LaTeX package for typesetting pseudocode, protocols, game-based proofs & black-box reductions (Mar 2015) https:/

1:03pm April 29th 2015 via TweetDeck