2007 | ||
---|---|---|
2 | EE | Jeff Lewis: Cryptol: specification, implementation and verification of high-grade cryptographic applications. FMSE 2007: 41 |
1999 | ||
1 | EE | 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 |
1 | Jeff Burns | [1] |
2 | Kurt Keutzer | [1] |
3 | Martin Lefebvre | [1] |
4 | Jay Maxey | [1] |
5 | David Pietromonaco | [1] |
6 | Kurt Wolf | [1] |