Eric Whitman Smith Vis

*	2008
2	EE	Eric Whitman Smith, David L. Dill: Automatic Formal Verification of Block Cipher Implementations. FMCAD 2008: 1-7
	2005
1	EE	Warren A. Hunt Jr., Matt Kaufmann, Robert Bellarmine Krug, J. Strother Moore, Eric Whitman Smith: Meta Reasoning in ACL2. TPHOLs 2005: 163-178

Coauthor Index

1	David L. Dill	[2]
2	Warren A. Hunt Jr.	[1]
3	Matt Kaufmann	[1]
4	Robert Bellarmine Krug	[1]
5	J. Strother Moore	[1]

Colors in the list of coauthors