It is my belief one of the classic footgun moments for the Australian science/industry body the CSIRO was defunding and deprioritising work on SEL in favour of formal methods applied to block chain. Yes, an analysis of etherium contracts was interesting and topical but not at the cost of remaining a committed partner securing operating systems.
2 comments
[ 2.9 ms ] story [ 18.8 ms ] threadIt is good that seL4 is now its own organization, fully independent. A tragedy that it was hampered by CSIRO for so many years.
0. https://microkerneldude.org/2022/02/17/a-story-of-betrayal-c...