3 ms·
I mean, isn't SPARK basically meant for high assurance things (like Tor should be)?
by SomeStupidPoint 10y ago
I mean, isn't SPARK basically meant for high assurance things (like Tor should be)?
- nickpsecurity 10y agoCase in point: http://ironsides.martincarlisle.com/ http://ironsides.martincarlisle.com/ http://www.adacore.com/uploads/technical-papers/SPARKSkein_SBMF.pdf http://www.adacore.com/uploads/technical-papers/SPARKSkein_S... http://www.anthonyhall.org/c_by_c_secure_system.pdf http://www.anthonyhall.org/c_by_c_secure_system.pdf
- eternalban 10y ago& considering that Naval Research Laboratory gifted us with Tor it is surprising it wasn't written in Ada to begin with.