Search results for "mechanized proofs"

Found 12 publication records. Showing 12 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Lawrence C. Paulson	Mechanized proofs for a recursive authentication protocol.	CSFW	1997	DBLP DOI BibTeX RDF	mechanized proofs, recursive authentication protocol, inductive approach, message nesting, basic security theorem, adjacent pairs, honest agents, protocol complexity, agents, protocols, specification, symmetry, mutual authentication, Isabelle/HOL, session keys
1	Karl Mazurak, Jianzhou Zhao, Steve Zdancewic	Lightweight linear types in system fdegree.	TLDI	2010	DBLP DOI BibTeX RDF	type systems, polymorphism, linear logic
1	Bruno Blanchet, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay	Computationally sound mechanized proofs for basic and public-key Kerberos.	ASIACCS	2008	DBLP DOI BibTeX RDF	PKINIT, key usability, computational model, automatic verification, Kerberos
1	Konstantine Arkoudas, Selmer Bringsjord	Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task.	PRICAI	2008	DBLP DOI BibTeX RDF
1	Bruno Blanchet	Computationally Sound Mechanized Proofs of Correspondence Assertions.	IACR Cryptology ePrint Archive	2007	DBLP BibTeX RDF
1	Yongjian Li	Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols.	SAC	2007	DBLP DOI BibTeX RDF	parameterized verification, theorem proving, symmetry
1	Bruno Blanchet	Computationally Sound Mechanized Proofs of Correspondence Assertions.	CSF	2007	DBLP DOI BibTeX RDF
1	Ludovic Henrio, Florian Kammüller	A Mechanized Model of the Theory of Objects.	FMOODS	2007	DBLP DOI BibTeX RDF
1	Julien Narboux	Mechanical Theorem Proving in Tarski's Geometry.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
1	Laura I. Meikle, Jacques D. Fleuriot	Formalizing Hilbert's Grundlagen in Isabelle/Isar.	TPHOLs	2003	DBLP DOI BibTeX RDF
1	John A. Bull, David J. Otway	A Nested Mutual Authentication Protocol.	Operating Systems Review	1999	DBLP DOI BibTeX RDF
1	Leslie Lamport, Lawrence C. Paulson	Should your specification language be typed.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	specification, types, set theory

Displaying result #1 - #12 of 12 (100 per page; Change: )