Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 6 of 6 for “"Proof Generation"”.
-
Towards automated derivation in the theory of allegories
… we essentially have a subtheory where automatic proof-generation is possible. This is also relevant to program verification since relations are well-suited to describe the behaviour of computer programs. It is likely that extensions of the theory of allegories are also decidable and possibly …
-
Matching μ-Logic
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2023-12-04 without embargo terms
-
Efficient zero-knowledge range arguments and privacy-preserving applications
… for enhancing privacy, and zero-knowledge proofs on the blockchain for verifying the private input data used in our online algorithm. Second, we propose a novel scheme zk-qrcode based on anonymous credentials and zk-SNARK. Our scheme leverages the following features: Blockchain-based …
-
Efficient zero-knowledge range arguments and privacy-preserving applications
… for enhancing privacy, and zero-knowledge proofs on the blockchain for verifying the private input data used in our online algorithm. Second, we propose a novel scheme zk-qrcode based on anonymous credentials and zk-SNARK. Our scheme leverages the following features: Blockchain-based …
-
Philosophical aspects of chaos: definitions in mathematics, unpredictability, and the observational equivalence of deterministic and indeterministic descriptions
… mathematical definitions is Lakatos's account on proof-generated definitions. By investigating notions of unpredictability in ergodic theory, I present two previously unidentified but common ways of justifying definitions. Furthermore, I criticise Lakatos's account as being limited: it does not …
-
Low-Level Static Analysis for Memory Usage and Control Flow Recovery
… property with two contributions that perform proof generation combined with interactive theorem proving in a semi-automated manner: an untrusted tool extracts as much information as it can from the functions under test and then generates all the necessary proofs to be completed in a theorem …