Being safe on the internet (was Re: Here we go again - ISP DPI, but is it interception?)
colinthomson1 at o2.co.uk
Mon Aug 9 14:21:09 BST 2010
> On 7 Aug 2010, at 10:47, Ian Batten <igb at batten.eu.org> wrote:
> > So, if I'm three weeks from starting a PhD in which the production of a large slab of
> secure code (let us gloss over whether that's formally secure or pragmatically secure),
> what toolchain should I use? I'm guessing my favoured "first to reach for" tools at my
> advanced age of C and Perl aren't cool, C++ horrifies me aesthetically, Java is dull.
> > I think it's time for a Lisp revival.
> The implementation language would not be high up my list of issues at this stage but
> if you pushed me to make a choice and security was critical, Ada or SPARK.
> Brian Gladman
> > ian
How about one of the ML dialects? Or Haskell?
Of course you can write secure stuff I any language - it's just that it's extremely difficult in things like C++ and others of that ilk (and you have to avoid use of some of its features)
More information about the ukcrypto