22 ms·
Well the CaPerl project he mentions just translates perl5 with his special keywords to standard perl5 code, I think. Who knows what he's doing here.
by kingkongreveng_ 17y ago
Well the CaPerl project he mentions just translates perl5 with his special keywords to standard perl5 code, I think. Who knows what he's doing here.
- tptacek 17y agoHe's writing yacc for crypto protocols. You write an algorithm in his Stupid language, you and others verify it Stupidly, and then compile it to your real language.
- statictype 17y agoSo the language's compiler does analysis of the algorithm for common crypto flaws? (like buffer-overruns and timeable iterations ...)?
- tptacek 17y agoNope. It does nothing at all except to standardize the notation.