Jeff Lewis

	2007
2		Jeff Lewis: Cryptol: specification, implementation and verification of high-grade cryptographic applications. FMSE 2007: 41
	1999
1		Kurt Keutzer, Kurt Wolf, David Pietromonaco, Jay Maxey, Jeff Lewis, Martin Lefebvre, Jeff Burns: Panel: Cell Libraries - Build vs. Buy; Static vs. Dynamic. DAC 1999: 341-342

Coauthor Index

1	Jeff Burns	[1]
2	Kurt Keutzer	[1]
3	Martin Lefebvre	[1]
4	Jay Maxey	[1]
5	David Pietromonaco	[1]
6	Kurt Wolf	[1]