Lawrence Paulson

Cited by

	All	Since 2018
Citations	20521	4190
h-index	57	27
i10-index	137	51

920

460

230

690

19881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202386 77 114 98 151 224 327 263 338 324 475 515 444 592 586 688 615 742 742 853 909 798 778 619 751 820 754 698 738 696 735 868 712 692 650 532

Public access

View all

47 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Christoph BenzmüllerProfessor for AI Systems Engineering, University of BambergVerified email at fu-berlin.de
Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerified email at ifi.lmu.de
Fabio MassacciChair at Vrije Universiteit, Netherlands and prof. at University of Trento, ItalyVerified email at ieee.org
Florian KammüllerAssociate Professor, Middlesex University London and Privatdozent TU BerlinVerified email at mdx.ac.uk
James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSVerified email at bath.ac.uk
Gerwin KleinProofcraft and UNSWVerified email at unsw.edu.au
David John WilsonUniversity of BathVerified email at bath.ac.uk
Krzysztof GrąbczewskiNicolaus Copernicus University, Toruń, PolandVerified email at is.umk.pl
Sofiene TaharConcordia UniversityVerified email at ece.concordia.ca
Cezary KaliszykUniversity of InnsbruckVerified email at uibk.ac.at
Josef UrbanDistinguished Researcher at Czech Technical University in PragueVerified email at cvut.cz
Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeVerified email at cl.cam.ac.uk
William DenmanOrbis InvestmentsVerified email at orbis.com
Leonardo de MouraAmazon Web ServicesVerified email at amazon.com
Mohammad AbdulazizKing's College LondonVerified email at in.tum.de
Jean Everson MartinaSenior Lecturer, Federal University of Santa CatarinaVerified email at ufsc.br
Andrew SogokonCarnegie Mellon UniversityVerified email at andrew.cmu.edu
Matthew EnglandCoventry UniversityVerified email at coventry.ac.uk
Andrew DM SmithUniversity of StirlingVerified email at stir.ac.uk

Lawrence Paulson

University of Cambridge

Verified email at cam.ac.uk - Homepage

automated theorem proving formalisation of mathematics computer security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Isabelle/HOL: a proof assistant for higher-order logic T Nipkow, M Wenzel, LC Paulson Springer Berlin Heidelberg, 2002	4760	2002
Isabelle: A generic theorem prover LC Paulson Springer Berlin Heidelberg, 1994	2000	1994
ML for the Working Programmer LC Paulson Cambridge University Press, 1996	1371	1996
The inductive approach to verifying cryptographic protocols LC Paulson Journal of computer security 6 (1-2), 85-128, 1998	1310	1998
The foundation of a generic theorem prover LC Paulson Journal of Automated Reasoning 5, 363-397, 1989	616	1989
Logic and computation: interactive proof with Cambridge LCF LC Paulson Cambridge University Press, 1987	611	1987
Isabelle: The next 700 theorem provers LC Paulson Logic and computer science 31, 361-386, 1990	465	1990
Proving properties of security protocols by induction LC Paulson Proceedings 10th Computer Security Foundations Workshop, 70-83, 1997	418	1997
Inductive analysis of the internet protocol TLS LC Paulson ACM Transactions on Information and System Security (TISSEC) 2 (3), 332-351, 1999	355	1999
Metitarski: Past and future LC Paulson International Conference on Interactive Theorem Proving, 1-10, 2012	335	2012
Extending Sledgehammer with SMT solvers JC Blanchette, S Böhme, LC Paulson Journal of automated reasoning 51 (1), 109-128, 2013	295	2013
Natural deduction as higher-order resolution LC Paulson The Journal of Logic Programming 3 (3), 237-258, 1986	233	1986
The isabelle framework M Wenzel, LC Paulson, T Nipkow Theorem Proving in Higher Order Logics: 21st International Conference …, 2008	206	2008
The Isabelle reference manual LC Paulson University of Cambridge, Computer Laboratory, 1993	201	1993
Hammering towards QED JC Blanchette, C Kaliszyk, LC Paulson, J Urban Journal of Formalized Reasoning 9 (1), 101-148, 2016	195	2016
Mechanized proofs for a recursive authentication protocol LC Paulson Proceedings 10th Computer Security Foundations Workshop, 84-94, 1997	194	1997
Kerberos version IV: Inductive analysis of the secrecy goals G Bella, LC Paulson Computer Security—ESORICS 98: 5th European Symposium on Research in …, 1998	193	1998
Should your specification language be typed L Lamport, LC Paulson ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (3), 502-526, 1999	184	1999
Translating higher-order clauses to first-order clauses J Meng, LC Paulson Journal of Automated Reasoning 40, 35-60, 2008	164	2008
A higher-order implementation of rewriting LC Paulson arXiv preprint cs/9301108, 2001	159	2001

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors