lucic71 addc443c19 Update 'BagOfIdeas/GoodToHaveLinks.md'		2022-11-18 19:57:15 +00:00
..
CVEs.md	Add some ideas about cve,tcb and some papers	2022-11-06 21:05:47 +02:00
GoodToHaveLinks.md	Update 'BagOfIdeas/GoodToHaveLinks.md'	2022-11-18 19:57:15 +00:00
GoodToHavePapers.md	Add some more toolchains and OSes	2022-11-18 11:38:16 +00:00
Questions.md	Add md extension	2022-11-09 11:46:52 +00:00
ShortIdeas.md	Add NJ approach	2022-11-16 12:08:01 +00:00
TCB.md	Add some ideas about cve,tcb and some papers	2022-11-06 21:05:47 +02:00
c.gmi	Created one folder for keeping ideas and one for keeping the proposal	2022-11-05 17:32:34 +02:00