News for hackers. Stuff that matters.

A comment on GERT: Run Go on Bare Metal ARMv7. Parent comment

Re:GERT: Run Go on Bare Metal ARMv7 by nickpsecurity on Tuesday June 20, 2017 @01:51PM (#14596842)
A few of it's family members will even proof mathematically that they won't throw those objects away.

https://www.commoncriteriaportal.org/iccc/9iccc/pdf/B2404.pd...

http://www.cs.nott.ac.uk/~pszgmh/appsem-slides/barthe.pdf

[ Parent | on HN ]

There are no comments on this comment yet.