A few of it's family members will even proof mathematically that they won't thro... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

nickpsecurity on June 20, 2017 | parent | context | favorite | on: GERT: Run Go on Bare Metal ARMv7

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact