"Mario Larangeira,Keisuke Tanaka","Programmability in the Generic Ring and Group Models","Presented at International Conference on Provable Security-ProvSec","Journal Internet Services and Information Security",,"vol. 1","number 2/3","pp. 57--73",2011,June