|
|
|
|
|
|
by nickpsecurity
815 days ago
|
|
|
Greg Morrisett is one of those people who is consistently involved in neat work. Typed x86, Cyclone, and SAFE architecture come to mind. It’s best to just all the papers of such people. I found a list of his: https://www.cs.cornell.edu/~jgm/jgm.html |
|
|