« earlier | later » Page 1 of 1
Chrome: 70% of all security bugs are memory safety issues | ZDNet
to ers memory-safety security ... on 29 June 2020
Formal validation of the Arm v8-M specification – Alastair Reid – Researcher at ARM Ltd
Alastair gave a presentation about this at a workshop I attended; very interesting stuff (and his blog generally is well worth reading).
to arm ers formal-methods security validation ... on 05 May 2018
« earlier | later » Page 1 of 1
- ers | |
1 | arm |
2 | ers |
1 | formal-methods |
1 | memory-safety |
2 | security |
1 | validation |
tasty by Adam Sampson.