|
|
|
|
|
|
by zodiac
3081 days ago
|
|
|
Wow I saw this page first without realising it's him. I remember being blown away by his research, and the fact that they're in separate areas (symbolic execution and exokernels). It seemed like he'd stopped publishing a few years ago - do you know why? |
|
|