Demostraciones y estudios sobre algoritmos criptográficos