• Publications
  • Influence
A Proof Assistant for Higher-Order Logic
  • 1,343
  • 306
  • PDF
Isabelle: A Generic Theorem Prover
Foundations.- Getting started with Isabelle.- Advanced methods.- Basic use of Isabelle.- Proof management: The subgoal module.- Tactics.- Tacticals.- Theorems and forward proof.- Theories, terms andExpand
  • 1,331
  • 110
The Inductive Approach to Verifying Cryptographic Protocols
Informal arguments that cryptographic protocols are secure can be made rigorous using inductive definitions. The approach is based on ordinary predicate calculus and copes with infinite-stateExpand
  • 1,033
  • 75
  • PDF
Isabelle/HOL
TLDR
By reading, you can know the knowledge and things more, not only about what you get from people to people. Expand
  • 286
  • 38
Isabelle: The Next 700 Theorem Provers
TLDR
Isabelle is a generic theorem prover, designed for interactive reasoning in a variety of formal theories. Expand
  • 390
  • 35
  • PDF
The foundation of a generic theorem prover
Isabelle [28, 30] is an interactive theorem prover that supports a variety of logics. It represents rules as propositions (not as functions) and builds proofs by combining rules. These operationsExpand
  • 246
  • 20
  • PDF
Translating Higher-Order Clauses to First-Order Clauses
TLDR
We have investigated several methods of translating function applications, types, and λ-abstractions into first-order logic. Expand
  • 115
  • 20
  • PDF
Inductive analysis of the Internet protocol TLS
TLDR
An inductive analysis of TLS, a descendant of SSL 3.0, using the theorem prover Isabelle. Expand
  • 297
  • 19
  • PDF
Logic and computation - interactive proof with Cambridge LCF
TLDR
This study of techniques for formal theorem-proving focuses on the applications of Cambridge LCF (Logic for Computable Functions). Expand
  • 298
  • 19
Proving properties of security protocols by induction
TLDR
Informal justifications of security protocols involve arguing backwards that various events are impossible. Expand
  • 310
  • 14
  • PDF
...
1
2
3
4
5
...