Sage Journals: Discover world-class research

Retricted access

Research article

First published 2014-12-16

Machine-generated algorithms,proofs and software for the batch verification of digital signature schemes

Joseph A. Akinyele, Matthew Green, Susan Hohenberger [...]

Journal of Computer Security

Retricted access

Research article

First published 2018-5-17

Programming and verifying a declarative first-order prover in Isabelle/HOL

Alexander Birch Jensen, John Bruntse Larsen, Anders Schlichtkrull [...]

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2025

Design of a secure electronic voting system based on zero-knowledge proof and blockchain technology

Bin Hu, Haixin Huang

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2021

Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case *

Domenico Cantone, Andrea De Domenico, Pietro Maugeri [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2010-5

Interactive verification of concurrent systems using symbolic execution

Simon Bäumler, Michael Balser, Florian Nafz [...]

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2018-11-20

Temporal logic of common knowledge and its resolution-based proof method

Hadi Farahani, Saman Moshiri

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Free access

Research article

First published 2010-2

Formal Correctness Proof for DPLL Procedure

Filip Marić, Predrag Janičić

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2018

Proof of Multicopy via Proof of File Position in Cloud

Huajun Zhang, Zhenfu Cao, Xiaolei Dong [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1999-2

ILF and DAWN for Verifying Distributed Algorithms – An Idea for a Tool

Thomas Baar, Ekkart Kindler

Fundamenta Informaticae

Retricted access

Research article

First published 2008-2

Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation

Mark-Oliver Stehr

Fundamenta Informaticae

Search results