| TheoSim: combining symbolic simulation and theorem proving for hardware verification G Al Sammane, J Schmaltz, D Toma, P Ostier, D Borrione Proceedings of the 17th symposium on Integrated circuits and system design …, 2004 | 18 | 2004 |
| Combining several paradigms for circuit validation and verification D Toma, D Borrione, G Al Sammane International Workshop on Construction and Analysis of Safe, Secure, and …, 2004 | 17 | 2004 |
| Formal verification of a SHA-1 circuit core using ACL2 D Toma, D Borrione International Conference on Theorem Proving in Higher Order Logics, 326-341, 2005 | 15 | 2005 |
| SHA formalization D Toma, D Borrione ACL2 Workshop, Boulder, USA, 13-14, 2003 | 13 | 2003 |
| Component reuse in B using ACL2 Y Zimmermann, D Toma International Conference of B and Z Users, 279-298, 2005 | 6 | 2005 |
| Design of a proven correct SHA circuit D Toma, A Perez, D Borrione, E Bergeret International Conference on Electrical, Electronic and Computer Engineering …, 2004 | 5 | 2004 |
| Constrained Symbolic simulation with Mathematica and ACL2 G Al Sammane, D Toma, J Schmaltz, P Ostier, D Borrione Advanced Research Working Conference on Correct Hardware Design and …, 2003 | 4 | 2003 |
| Vérification Formelle des systèmes numériques par démonstration de théorèmes: application aux composants cryptographiques D Toma | 3 | 2006 |
| Verification of a cryptographic circuit: SHA-1 using ACL2 D Toma, D Borrione ACL2 Workshop, Austin, USA, 2004 | 2 | 2004 |
| SHA formalization D Borrione, D Toma | 2 | 2003 |
| Combining ACL2 and Mathematica for the symbolic simulation of digital systems ALS Ghiath, D BORRIONE, P OSTIER, J SCHMALTZ, D TOMA | | |
