Eric Whitman Smith

According to our database, Eric Whitman Smith authored at least 7 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Formal Verification of Zero-Knowledge Circuits.

Alessandro Coglio, Eric McCarthy, Eric Whitman Smith

Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, 2023

Using Counterexample Generation and Theory Exploration to Suggest Missing Hypotheses.

Ruben Gamboa, Panagiotis Manolios, Eric Whitman Smith, Kyle Thompson

Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, 2023

2017

A Versatile, Sound Tool for Simplifying Definitions.

Alessandro Coglio, Matt Kaufmann, Eric Whitman Smith

Proceedings of the Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications, 2017

2011

Axe, an automated formal equivalence checking tool for programs.

Eric Whitman Smith

PhD thesis, 2011

2008

Automatic Formal Verification of Block Cipher Implementations.

Eric Whitman Smith, David L. Dill

Proceedings of the Formal Methods in Computer-Aided Design, 2008

2006

A robust machine code proof framework for highly secure applications.

David S. Hardin, Eric Whitman Smith, William D. Young

Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006

2005

Meta Reasoning in ACL2.

Warren A. Hunt Jr., Matt Kaufmann, Robert Bellarmine Krug, J Strother Moore, Eric Whitman Smith

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005