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 | | |