@doctoralThesis{Ciobotaru_2012, title={Rational cryptography: novel constructions, automated verification and unified definitions}, author={Ciobotaru, Oana-Mădălina}, doi={http://dx.doi.org/10.22028/D291-26526}, year={2012} }