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 <[email protected]> wrote: > On Fri, Apr 18, 2014 at 1:26 AM, Stevens Le Blond <[email protected]> > 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 > [email protected]. >
-- 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 [email protected].
