matu3ba/win32k-mitigation

(formal) model and explain (implementation) tradeoffs for process and IPC/signaling api

matu3ba opened this issue · 1 comments

After knowing that Posix signaling and process api is very bad (not yet implemented though), I now finally understand why the Windows one is considered only slightly better: https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87151933. I think I should come up with a better (formal) model and explain (implementation) tradeoffs.

Moved to matu3ba/sandboxamples#7, so closing.