TO
1 - 25 of 1
| Author | Title | Subject | Date | Publication Type | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Lv, Jinpeng | Scalable formal verification of finite field arithmetic circuits using computer algebra techniques | Computer Algebra; Cryptography circuits; Equivalence checking; Finite field; Grobner Bases | 2012-12 | dissertation |
1 - 25 of 1