|
|
|
| Current Research | At present, Seth Nielson is investigating automated verification of robustness against rational manipulation in peer-to-peer protocols. This work is part of his larger interest in the application of economic game theory to computer system security. | |||||||||||||||||
| Recent News |
July 27, 2007March 30, 2007March 12, 2007March 1, 2007June 24, 2006March 18, 2006February 3, 2006February 2, 2006 | |||||||||||||||||
| Current TA Assignment |
| |||||||||||||||||
| Contact Information |
|