Sat Feb 21 14:15:10 EST 2015

A correct language

How hard would it be to build a correct language running on a PIC?
Apart from side-channels, it would be interesting to seriously tackle
the protocol problem of hiding a secret on a PIC.  Something that is
as strong as its crypto.