Jeff Lewis

Publication Activity (10 Years)

Years Active: 1991-2007
Publications (10 Years): 0

Publications

Jeff Lewis
Cryptol: specification, implementation and verification of high-grade cryptographic applications. FMSE (2007)
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)
Jeff Lewis
EDA environments in 1995: specification, not implementation. Compcon (1991)