DMCA

Probabilistic relational verification for cryptographic implementations,” Unpublished manuscript (2013)

Cached

Download Links

by Gilles Barthe , Pierre-yves Strub , Nikhil Swamy
Citations:8 - 1 self