How Strong are 256-bit Symmetric Keys?