[liberationtech] Programming language for anonymity network

[Peter Lindener]

My hunch is that if we are planing for the long run one might want to
conciser implementing in Julia.
See:  http://julialang.org/

   The reason that I suggest Julia's consideration is that it's implements
have seen the light regarding
multiple dispatch generic functions within the framework of a strong semi
dynamic type system.
Stostrup and his team at Texas A and M seem to also be taking C++ in a
similar direction...so in the longer run a properly restricted (safe)
subset of C++ might also be a viable option...
see:  http://en.wikipedia.org/wiki/Multiple_dispatch
and:
http://www.codeproject.com/Articles/635264/Open-Multi-Methods-for-Cplusplus-Part-The-Case
and:  http://www.sciencedirect.com/science/article/pii/S016764230900094X#

   If using a safe subset of C++ you might also want to consult with the Andrei
Alexandrescu <http://erdani.com/> and Walter
Bright<http://www.walterbright.com/> authors
of the  D_Programming language <http://dlang.org/> he is also a C++
guy...who seems to know of most of C++'s issues...

   In summary I would recommend writing in a safe (compiler enforced)
dialect of C++...  Not the classic close to the metal C super-set...

   If there are still security related issues that need to be addressed...
I would work with Bjarne Stroustrup <http://www.stroustrup.com/>, his team
at Texas A&M University <http://engineering.tamu.edu/cse/>, along with
Andrei and Walter mentoned above.... I gather they share your objectives.

    Hope this helps
        -Peter


On Fri, Apr 18, 2014 at 8:25 PM, coderman <coderman at gmail.com> wrote:

> On Fri, Apr 18, 2014 at 1:26 AM, Stevens Le Blond <stevens at mpi-sws.org>
> wrote:
> >...
> > We are a team of researchers working on the design and implementation of
> > a traffic-analysis resistant anonymity network...
>
> is this an implementation of existing research, or experimentation
> with novel architectures?  tell us more :)
>
>
>
> > ... and we would like to
> > request your opinion regarding the choice of a programming language /
> > environment. Here are the criteria:...
> > 1) Familiarity: ...
> > 2) Maturity: ...
> > 3) Language security: ...
> > 4) Security of runtime / tool chain:..
>
>
> use modern C++ with testing discipline.
>
>  , but what about this traffic analysis resistant anonymity network,
> low latency too?
>   *grin*
>
>
> best regards,
> --
> Liberationtech is public & archives are searchable on Google. Violations
> of list guidelines will get you moderated:
> https://mailman.stanford.edu/mailman/listinfo/liberationtech.
> Unsubscribe, change to digest, or change password by emailing moderator at
> companys at stanford.edu.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/liberationtech/attachments/20140421/3177dfd4/attachment.html>