iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/journals/iacr/Blanchet07.xml
Bruno Blanchet Computationally Sound Mechanized Proofs of Correspondence Assertions. 128 2007 2007 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2007/128 db/journals/iacr/iacr2007.html#Blanchet07