González Vasco, María IsabelMartínez, ConsueloSteinwandt, RainerVillar, Jorge L.2023-06-022023-06-022005González Vasco, M. I., Martínez, C., Steinwandt, R. & Villar, J. L. (10-12 February 2005). A new cramer-shoup like methodology for group based provably secure encryption schemes [proceedings]. In Theory of Cryptography: Second Theory of Cryptography. Conference, TCC 2005. Cambridge, MA, USA. Part of the Lecture Notes in Computer Science book series (LNSC,volume 3378).978-3-540-24573-5https://hdl.handle.net/10016/37415Proceedings of: TCC 2005: Theory of Cryptography Conference, 10-12 February 2005, Cambridge, MA, USA.A theoretical framework for the design of - in the sense of IND-CCA - provably secure public key cryptosystems taking non-abelian groups as a base is given. Our construction is inspired by Cramer and Shoup's general framework for developing secure encryption schemes from certain language membership problems; thus all our proofs are in the standard model, without any idealization assumptions. The skeleton we present is conceived as a guiding tool towards the construction of secure concrete schemes from finite non-abelian groups (although it is possible to use it also in conjunction with finite abelian groups).15eng© 2005 Springer-Verlag Berlin HeidelbergAutomorphism groupEncryption schemeBraid groupCryptographic primitiveHash familyconference proceedingsInformáticaMatemáticasTelecomunicacioneshttps://doi.org/10.1007/978-3-540-30576-7_27open access495509Theory of Cryptography: Second Theory of Cryptography. Conference, TCC 2005. Cambridge, MA, USA, February 10-12, 2005. Proceedings3378CC/0000034120