3 ms·Towards a formal theory of computer insecurity: a language-theoretic approach [video]1 points by binyu 3mo ago