Search results for "Proof"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Kenneth L. McMillan	Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking.	CHARME	2001	DBLP DOI BibTeX RDF
15	Prahladh Harsha, Madhu Sudan 0001	Small PCPs with Low Query Complexity.	STACS	2001	DBLP DOI BibTeX RDF
15	Kees Huizing, Ruurd Kuiper 0001	Verification of Object Oriented Programs Using Class Invariants.	FASE	2000	DBLP DOI BibTeX RDF
15	Thomas Baar, Ekkart Kindler, Hagen Völzer	Verifying Intuition - ILF Checks DAWN Proofs.	ICATPN	1999	DBLP DOI BibTeX RDF
15	Qiao Haiyan	Formalising Formulas-as-Types-as-Objects.	TYPES	1999	DBLP DOI BibTeX RDF
15	Fariba Sadri, Francesca Toni	Abduction with Negation as Failure for Active and Reactive Rules.	AI*IA	1999	DBLP DOI BibTeX RDF
15	Oded Goldreich 0001, Salil P. Vadhan	Comparing Entropies in Statistical Zero Knowledge with Applications to the Structure of SZK.	CCC	1999	DBLP DOI BibTeX RDF	Statistical Zero-Knowledge Proofs, Universal Hashing, Arthur-Merlin Games
15	Peter Lee 0001	Certifying, Optimizing Compilation (Abstract).	SAS	1998	DBLP DOI BibTeX RDF
15	Alessandro Avellone, Mauro Ferrari 0002, Pierangelo Miglioli	Synthesis of Programs in Abstract Data Types.	LOPSTR	1998	DBLP DOI BibTeX RDF
15	Arne Borälv	The Industrial Success of Verification Tools Based on Stålmarck's Method.	CAV	1997	DBLP DOI BibTeX RDF
15	Alberto Momigliano, Mario Ornaghi	Towards a Logic for Reasoning About Logic Programs Transformation.	LOPSTR	1997	DBLP DOI BibTeX RDF
15	Markus Jakobsson, Moti Yung	Proving Without Knowing: On Oblivious, Agnostic and Blindolded Provers.	CRYPTO	1996	DBLP DOI BibTeX RDF
15	Joe Kilian	Improved Efficient Arguments (Preliminary Version).	CRYPTO	1995	DBLP DOI BibTeX RDF
15	Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson	A Graphical Tool for Proving Unity Progress.	TPHOLs	1994	DBLP DOI BibTeX RDF
15	Matthew Wilding	A Mechanically Verified Application for a Mechanically Verified Environment.	CAV	1993	DBLP DOI BibTeX RDF
15	Femke van Raamsdonk	Confluence and Superdevelopments.	RTA	1993	DBLP DOI BibTeX RDF
15	Andrew Ireland	The Use of Planning Critics in Mechanizing Inductive Proofs.	LPAR	1992	DBLP DOI BibTeX RDF
15	Masami Hagiya	Programming by Example and Proving by Example Using Higher-order Unification.	CADE	1990	DBLP DOI BibTeX RDF
15	Joe Kilian	Achieving Zero-Knowledge Robustly.	CRYPTO	1990	DBLP DOI BibTeX RDF
15	R. D. Purdy	Knowledge and Tools in Building GRANDJUR 1.1.	ICAIL	1989	DBLP DOI BibTeX RDF
15	Donald Simon	Checking Natural Language Proofs.	CADE	1988	DBLP DOI BibTeX RDF
15	Oliver J. Hall, Stavros Shiaeles, Fudong Li 0009	A Study of Ethereum's Transition from Proof-of-Work to Proof-of-Stake in Preventing Smart Contracts Criminal Activities.	Network	2024	DBLP DOI BibTeX RDF
15	B. Sriman, S. Ganesh Kumar	An efficient quantum non-interactive zero knowledge proof for confidential transaction and quantum range proof.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
15	Iván Abellán Álvarez, Vincent Gramlich, Johannes Sedlmeir	Unsealing the secrets of blockchain consensus: A systematic comparison of the formal security of proof-of-work and proof-of-stake.	CoRR	2024	DBLP DOI BibTeX RDF
15	Rameez Asif, Syed Raheel Hassan	Shaping the future of Ethereum: exploring energy consumption in Proof-of-Work and Proof-of-Stake consensus.	Frontiers Blockchain	2023	DBLP DOI BibTeX RDF
15	Federico Flaviani, Walter Carballosa	Education-oriented Proof Assistant Based on Calculational Logic: Proof Theory Algorithms and Assessment Experience.	CLEI Electron. J.	2023	DBLP DOI BibTeX RDF
15	Damilare Peter Oyinloye, Je Sen Teh, Norziana Jamil, Jiashen Teh	SIM-P - A Simplified Consensus Protocol Simulator: Applications to Proof of Reputation-X and Proof of Contribution.	IEEE Internet Things J.	2023	DBLP DOI BibTeX RDF
15	Duong Dinh Tran, Thet Wai Mon, Kazuhiro Ogata 0001	Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores.	PeerJ Comput. Sci.	2023	DBLP DOI BibTeX RDF
15	Alexander V. Gheorghiu, David J. Pym	Proof-theoretic Semantics and Tactical Proof.	CoRR	2023	DBLP DOI BibTeX RDF
15	Joshua A. Grochow	Polynomial Identity Testing and the Ideal Proof System: PIT is in NP if and only if IPS can be p-simulated by a Cook-Reckhow proof system.	CoRR	2023	DBLP DOI BibTeX RDF
15	Youjia Zhang, Pingzhong Tang	Collusion-proof And Sybil-proof Reward Mechanisms For Query Incentive Networks.	CoRR	2023	DBLP DOI BibTeX RDF
15	Gilles Dowek	Automatic Proof Checking and Proof Construction by Tactics.	CoRR	2023	DBLP DOI BibTeX RDF
15	Yongqi Wu, Sungmin Choi, Guining Liu, Xingjun Wang	Proof of Directed Guiding Gradients: A New Proof of Learning Consensus Mechanism with Constant-time Verification.	ICBC	2023	DBLP DOI BibTeX RDF
15	Satoshi Hisayasu, Kazuhiro Kubo, Hoshina Uehara, Hiroko Shimizu, Hidekuni Takao	Nano-Tactile Scanner with Dust-Proof and Drip-Proof Structure for High-Resolution Measurement of Skin Surface Textures.	EMBC	2023	DBLP DOI BibTeX RDF
15	Steve Earth, Jeremy R. Johnson, Bruce W. Char	Proof Buddy: A Tool to Aid Students in Proof Construction.	SIGCSE (2)	2023	DBLP DOI BibTeX RDF
15	Youjia Zhang, Pingzhong Tang	Collusion-Proof and Sybil-Proof Reward Mechanisms for Query Incentive Networks.	AAAI	2023	DBLP DOI BibTeX RDF
15	Tom Reichel, R. Wesley Henderson, Andrew Touchet, Andrew Gardner, Talia Ringer	Proof Repair Infrastructure for Supervised Models: Building a Large Proof Repair Dataset.	ITP	2023	DBLP DOI BibTeX RDF
15	Matteo Manighetti	Developing proof theory for proof exchange. (Developpements de théorie de la démonstration pour le partage de démonstrations).		2023	RDF
15	Shi Yan	Analysis on Blockchain Consensus Mechanism Based on Proof of Work and Proof of Stake.	CoRR	2022	DBLP DOI BibTeX RDF
15	Valentin D. Richard	Introducing Proof Tree Automata and Proof Tree Graphs.	CoRR	2022	DBLP DOI BibTeX RDF
15	Abhishek Nair, Saranyu Chattopadhyay, Haoze Wu 0001, Alex Ozdemir, Clark W. Barrett	Proof-Stitch: Proof Combination for Divide and Conquer SAT Solvers.	CoRR	2022	DBLP DOI BibTeX RDF
15	Dominic P. Mulligan, Nick Spinale	The Supervisionary proof-checking kernel (or: a work-in-progress towards proof generating code).	CoRR	2022	DBLP DOI BibTeX RDF
15	Léo Robert, Daiki Miyahara, Pascal Lafourcade 0001, Luc Libralesso, Takaaki Mizuki	Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle.	Inf. Comput.	2022	DBLP DOI BibTeX RDF
15	Roberto Maieli	A Proof of the Focusing Theorem via MALL Proof Nets.	WoLLIC	2022	DBLP DOI BibTeX RDF
15	Georgios Drakopoulos, Eleanna Kafeza, Ioanna Giannoukou, Phivos Mylonas, Spyros Sioutas	Simulating Blockchain Consensus Protocols in Julia: Proof of Work vs Proof of Stake.	AIAI Workshops	2022	DBLP DOI BibTeX RDF
15	Takuro Fukasawa, Yoshifumi Manabe	Card-Based Zero-Knowledge Proof for the Nearest Neighbor Property: Zero-Knowledge Proof of ABC End View.	SPACE	2022	DBLP DOI BibTeX RDF
15	Dmytro Denysiuk, Tomas Sochor, Mariia Kapustian	Proof of stake and Proof of work approach for malware detection technologies.	IntelITSIS	2022	DBLP BibTeX RDF
15	Nicolas Magaud	Proof Pearl: Formalizing Spreads and Packings of the Smallest Projective Space PG(3, 2) Using the Coq Proof Assistant.	ITP	2022	DBLP DOI BibTeX RDF
15	Paolo Masci 0001, Aaron Dutle	Proof Mate: An Interactive Proof Helper for PVS (Tool Paper).	NFM	2022	DBLP DOI BibTeX RDF
15	Abhishek Anil Nair, Saranyu Chattopadhyay, Haoze Wu 0001, Alex Ozdemir, Clark W. Barrett	Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers.	FMCAD	2022	DBLP DOI BibTeX RDF
15	Nur Arifin Akbar, Amgad Muneer, Narmine ElHakim, Suliman Mohamed Fati	Distributed Hybrid Double-Spending Attack Prevention Mechanism for Proof-of-Work and Proof-of-Stake Blockchain Consensuses.	Future Internet	2021	DBLP DOI BibTeX RDF
15	Merlin Carl, Hinrich Lorenzen, Michael Schmitz	Natural Language Proof Checking in Introduction to Proof Classes - First Experiences with Diproche.	ThEdu@CADE	2021	DBLP DOI BibTeX RDF
15	Cosimo Perini Brogi	Natural deduction for intuitionistic belief: proof theory and proof-theoretic semantics.	CoRR	2021	DBLP BibTeX RDF
15	Ryo Takemura	Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization.	Arch. Math. Log.	2021	DBLP DOI BibTeX RDF
15	Efe Ulas Akay Seyitoglu, Attila Altay Yavuz, Thang Hoang	Proof-of-Useful-Randomness: Mitigating the Energy Waste in Blockchain Proof-of-Work.	SECRYPT	2021	DBLP DOI BibTeX RDF
15	Yann Connan 0001	Contribution à la cryptographie post-quantique basée sur les codes correcteurs d'erreurs en métrique rang : Hash Proof Systems et cryptographie à bas coût. (Contribution to post-quantum code-based cryptography in rank metric : Hash Proof Systems and lightweight cryptography).		2021	RDF
15	Hans-Jörg Schurr, Mathias Fleury, Haniel Barbosa, Pascal Fontaine	Alethe: Towards a Generic SMT Proof Format (extended abstract).	PxTP	2021	DBLP DOI BibTeX RDF
15	Quentin Garchery	A Framework for Proof-carrying Logical Transformations.	PxTP	2021	DBLP DOI BibTeX RDF
15	Nicolas Magaud	Integrating an Automated Prover for Projective Geometry as a New Tactic in the Coq Proof Assistant.	PxTP	2021	DBLP DOI BibTeX RDF
15	Maria Paola Bonacina	Proof Generation in CDSAT.	PxTP	2021	DBLP DOI BibTeX RDF
15		Proof Society Summer Schools and Workshop on Proof Theory and its Applications Cosponsored by the Association for Symbolic Logic Swansea, UK September 8-13, 2019.	Bull. Symb. Log.	2020	DBLP DOI BibTeX RDF
15	Adarsh Kumar, Deepak Kumar Sharma, Anand Nayyar, Saurabh Singh 0006, Byungun Yoon	Lightweight Proof of Game (LPoG): A Proof of Work (PoW)'s Extended Lightweight Consensus Algorithm for Wearable Kidneys.	Sensors	2020	DBLP DOI BibTeX RDF
15	Kyriakos N. Kotsoglou	Proof beyond a context-relevant doubt. A structural analysis of the standard of proof in criminal adjudication.	Artif. Intell. Law	2020	DBLP DOI BibTeX RDF
15	Tuyet Duong, Lei Fan 0002, Jonathan Katz, Phuc Thai, Hong-Sheng Zhou	2-hop Blockchain: Combining Proof-of-Work and Proof-of-Stake Securely.	ESORICS (2)	2020	DBLP DOI BibTeX RDF
15	Samuel Masseport, Benoît Darties, Rodolphe Giroudeau, Jorick Lartigau	Proof of Experience: empowering Proof of Work protocol with miner previous work.	BRAINS	2020	DBLP DOI BibTeX RDF
15	Ambili K. N, Jimmy Jose	Comparison of proof-of-work based blockchains against federated consensus and proof-of-validation based blockchains.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
15	Suha Orhun Mutluergil, Serdar Tasiran	A mechanized refinement proof of the Chase-Lev deque using a proof system.	Computing	2019	DBLP DOI BibTeX RDF
15	Wai Kok Chan, Ji-Jian Chin, Vik Tor Goh	Proof of Bid as Alternative to Proof of Work.	ACeS	2019	DBLP DOI BibTeX RDF
15	Sireesha Chiliveri, Jyostna Grandhi, Mahesh Uttam Patil, P. R. Lakshmi Eswari, Magesh Ethirajan	ProveDoc: A Blockchain Based Proof of Existence with Proof of Storage.	ICIT	2019	DBLP DOI BibTeX RDF
15	Huajun Zhang, Zhenfu Cao, Xiaolei Dong, Jiachen Shen	Proof of Multicopy via Proof of File Position in Cloud.	Fundam. Informaticae	2018	DBLP DOI BibTeX RDF
15	Joshua A. Grochow, Toniann Pitassi	Circuit Complexity, Proof Complexity, and Polynomial Identity Testing: The Ideal Proof System.	J. ACM	2018	DBLP DOI BibTeX RDF
15	Adrián Riesco 0001, Kazuhiro Ogata 0001	Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores.	ACM Trans. Softw. Eng. Methodol.	2018	DBLP DOI BibTeX RDF
15	Zhe Hou, Rajeev Goré, Alwen Tiu	A labelled sequent calculus for BBI: proof theory and proof search.	J. Log. Comput.	2018	DBLP DOI BibTeX RDF
15	Tuyet Duong, Alexander Chepurnoy, Lei Fan 0002, Hong-Sheng Zhou	TwinsCoin: A Cryptocurrency via Proof-of-Work and Proof-of-Stake.	BCC@AsiaCCS	2018	DBLP DOI BibTeX RDF
15	Hideyuki Kawabata, Yuta Tanaka, Mai Kimura, Tetsuo Hironaka	Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General.	APLAS	2018	DBLP DOI BibTeX RDF
15	Tengfei Xue, Yuyu Yuan, Zahir Ahmed, Krishna Moniz, Ganyuan Cao, Cong Wang 0003	Proof of Contribution: A Modification of Proof of Work to Increase Mining Efficiency.	COMPSAC (1)	2018	DBLP DOI BibTeX RDF
15	Johanna Ullrich, Nicholas Stifter, Aljosha Judmayer, Adrian Dabrowski, Edgar R. Weippl	Proof-of-Blackouts? How Proof-of-Work Cryptocurrencies Could Affect Power Grids.	RAID	2018	DBLP DOI BibTeX RDF
15	Madeleine de Cock Buning, Roeland de Bruin	Autonomous intelligent cars: proof that the EPSRC Principles are future-proof.	Connect. Sci.	2017	DBLP DOI BibTeX RDF
15	Lei Fan 0002, Hong-Sheng Zhou	iChing: A Scalable Proof-of-Stake Blockchain in the Open Setting (or, How to Mimic Nakamoto's Design via Proof-of-Stake).	IACR Cryptol. ePrint Arch.	2017	DBLP BibTeX RDF
15	Alexander Chepurnoy, Tuyet Duong, Lei Fan 0002, Hong-Sheng Zhou	TwinsCoin: A Cryptocurrency via Proof-of-Work and Proof-of-Stake.	IACR Cryptol. ePrint Arch.	2017	DBLP BibTeX RDF
15	Adrián Riesco 0001, Kazuhiro Ogata 0001	A Formal Proof Generator from Semi-formal Proof Documents.	ICTAC	2017	DBLP DOI BibTeX RDF
15	Josephine Relaford-Doyle, Rafael E. Núñez	When does a 'visual proof by induction' serve a proof-like function in mathematics?	CogSci	2017	DBLP BibTeX RDF
15	Yutaka Nagashima, Ramana Kumar	A Proof Strategy Language and Proof Script Generation for Isabelle/HOL.	CADE	2017	DBLP DOI BibTeX RDF
15	Gilles Dowek	Analyzing Individual Proofs as the Basis of Interoperability between Proof Systems.	PxTP	2017	DBLP DOI BibTeX RDF
15	Yutaka Nagashima, Ramana Kumar	A Proof Strategy Language and Proof Script Generation for Isabelle.	CoRR	2016	DBLP BibTeX RDF
15	Alan Weir	Informal Proof, Formal Proof, Formalism.	Rev. Symb. Log.	2016	DBLP DOI BibTeX RDF
15	Nissim Francez	Views of proof-theoretic semantics: reified proof-theoretic meanings.	J. Log. Comput.	2016	DBLP DOI BibTeX RDF
15	Karol Pak, Aleksy Schubert	The impact of proof steps sequence on proof readability - experimental setting.	FM4M/MathUI/ThEdu/DP/WIP@CIKM	2016	DBLP BibTeX RDF
15	Suha Orhun Mutluergil, Serdar Tasiran	A Mechanized Refinement Proof of the Chase-Lev Deque Using a Proof System.	NETYS	2016	DBLP DOI BibTeX RDF
15	Naveen Sundar Govindarajulu, Selmer Bringsjord, Joshua Taylor	Proof verification and proof discovery for relativity.	Synth.	2015	DBLP DOI BibTeX RDF
15	Fernando Ferreira 0001, Gilda Ferreira	The Faithfulness of Fat: A Proof-Theoretic Proof.	Stud Logica	2015	DBLP DOI BibTeX RDF
15	Ekaterina Komendantskaya, Patricia Johann	Structural Resolution: a Framework for Coinductive Proof Search and Proof Construction in Horn Clause Logic.	CoRR	2015	DBLP BibTeX RDF
15	Luís Cruz-Filipe, Peter Schneider-Kamp	Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof.	CoRR	2015	DBLP BibTeX RDF
15	Roberto Blanco, Dale Miller 0001	Proof Outlines as Proof Certificates: A System Description.	WoF'15	2015	DBLP DOI BibTeX RDF
15		Every super-polynomial proof in purely implicational minimal logic has a polynomially sized proof in classical implicational propositional logic.	CoRR	2015	DBLP BibTeX RDF
15	Luís Cruz-Filipe, Peter Schneider-Kamp	Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof.	CICM	2015	DBLP DOI BibTeX RDF
15	Quentin Heath, Dale Miller 0001	A framework for proof certificates in finite state exploration.	PxTP@CADE	2015	DBLP DOI BibTeX RDF
15	David Delahaye, Catherine Dubois, Claude Marché, David Mentré	The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations.	ABZ	2014	DBLP DOI BibTeX RDF
15	Willem Heijltjes, Robin Houston 0001	No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete.	CSL-LICS	2014	DBLP DOI BibTeX RDF
15	Zachary Tatlock	Reducing the Costs of Proof Assistant Based Formal Verification or : Conviction without the Burden of Proof.		2014	RDF