Paul Twohey

According to our database1, Paul Twohey authored at least 4 papers between 2004 and 2006.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2006
Using model checking to find serious file system errors.
ACM Trans. Comput. Syst., 2006

Automatically Generating Malicious Disks using Symbolic Execution.
Proceedings of the 2006 IEEE Symposium on Security and Privacy (S&P 2006), 2006

From Uncertainty to Belief: Inferring the Specification Within.
Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

2004
Using Model Checking to Find Serious File System Errors (Awarded Best Paper!).
Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI 2004), 2004


  Loading...