I want to replace systems like AES with ones that uses
the hardness of factoring for their security. Systems
like AES rely on intuition and experimental testing for
their security—there is not even a conditional proof that
they are secure.
1) You can prove symmetric crypto is secure
2) In the light of (upcoming fast) factoring algorithms, using crypto that relies on factoring everywhere sounds very stupid.
Disgraceful.
As much as I don't like Yosemite (they really broke Spotlight), its UI is much better than that of previous versions.