2007
A Query Unit for The IPSec Databases.
Proceedings of the SECRYPT 2007, 2007

2006
Hardware/software partitioning of operating systems: a behavioral synthesis approach.
Proceedings of the 16th ACM Great Lakes Symposium on VLSI 2006, Philadelphia, PA, USA, April 30, 2006