luckycowb

Thisisabookabouthowtouseformalmethodstoverifysecurityprotocols.

thisbookisaboutthenon-traditionalgrouptheoryincryptography

this is a traditional book about continued fraction.