Follow
Joe Leslie-Hurd
Joe Leslie-Hurd
Intel Corp.
Verified email at gilith.com - Homepage
Title
Cited by
Cited by
Year
Formal verification of probabilistic algorithms
J Hurd
University of Cambridge, Computer Laboratory, 2003
1952003
First-order proof tactics in higher-order logic theorem provers
J Hurd
Design and Application of Strategies/Tactics in Higher Order Logics, number …, 2003
1872003
Probabilistic guarded commands mechanized in HOL
J Hurd, A McIver, C Morgan
Theoretical Computer Science 346 (1), 96-112, 2005
1132005
The OpenTheory standard theory library
J Hurd
NASA Formal Methods Symposium, 177-191, 2011
902011
Integrating Gandalf and HOL
J Hurd
Theorem Proving in Higher Order Logics, 839-839, 1999
841999
Verification of the Miller–Rabin probabilistic primality test
J Hurd
The Journal of Logic and Algebraic Programming 56 (1-2), 3-21, 2003
742003
An LCF-style interface between HOL and first-order logic
J Hurd
International Conference on Automated Deduction, 134-138, 2002
612002
Executing the formal semantics of the Accellera property specification language by mechanised theorem proving
M Gordon, J Hurd, K Slind
Advanced Research Working Conference on Correct Hardware Design and …, 2003
472003
A formal approach to probabilistic termination
J Hurd
International Conference on Theorem Proving in Higher Order Logics, 230-245, 2002
312002
Functional correctness proofs of encryption algorithms
J Duan, J Hurd, G Li, S Owens, K Slind, J Zhang
Logic for Programming, Artificial Intelligence, and Reasoning: 12th …, 2005
292005
OpenTheory: Package management for higher order logic theories
J Hurd
PLMMS 9, 31-37, 2009
232009
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
J Hurd, T Melham
Springer, 2005
222005
Predicate subtyping with predicate sets
J Hurd
International Conference on Theorem Proving in Higher Order Logics, 265-280, 2001
182001
Formal verification of chess endgame databases
J Hurd
Theorem Proving in Higher Order Logics: Emerging Trends Proceedings, 85, 2005
162005
Applications of polytypism in theorem proving
K Slind, J Hurd
International Conference on Theorem Proving in Higher Order Logics, 103-119, 2003
162003
System description: The Metis proof tactic
J Hurd
Empirically Successful Automated Reasoning in Higher-Order Logic (ESHOL …, 2005
152005
Formalized elliptic curve cryptography
J Hurd, M Gordon, A Fox
High confidence software and systems: HCSS, 2006
142006
Lobster: A domain specific language for selinux policies
J Hurd, M Carlsson, B Letner, P White
Galois, Inc., Tech. Rep, 2008
112008
Standalone tactics using OpenTheory
R Kumar, J Hurd
Interactive Theorem Proving: Third International Conference, ITP 2012 …, 2012
92012
Policy DSL: high-level specifications of information flows for security policies
J Hurd, M Carlsson, S Finne, B Letner, J Stanley, P White
High confidence software and systems (HCSS), 2009
92009
The system can't perform the operation now. Try again later.
Articles 1–20