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 20 of 36 for “"Verifiability"”.
-
Voter verifiability in homomorphic election schemes
Voters are now demanding the ability to verify that their votes are cast and counted as intended. Most existing cryptographic election protocols do not treat the voter as a computationally-limited entity separate from the voting booth, and therefore do not ensure that the voting booth records the …
-
Verifiability (Meaningfulness) of Selected Physical Education Objectives
Made available in DSpace on 2014-12-12T01:12:09Z (GMT). No. of bitstreams: 1 7212329.pdf: 4661626 bytes, checksum: 8068a9f4b749ba89f4f00d6ffcfe5029 (MD5) Previous issue date: 1971
-
End-to-end verifiability for optical scan voting systems
End-to-end verifiable voting systems allow voters to verify that their votes are cast as intended, collected as cast, and counted as collected. Essentially, end-to-end voting systems provide voters assurance that each step of the election worked correctly. At the same time, voting systems must …
-
An Inquiry Into the Problem of the Verifiability of Cost Classifications
Made available in DSpace on 2014-12-11T21:53:26Z (GMT). No. of bitstreams: 1 7412156.pdf: 6284771 bytes, checksum: 207f049cc80543062a20392be83080b6 (MD5) Previous issue date: 1973
-
Enhancing the verifiability of large language model based medical question answering systems
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-10-19 without embargo terms
-
Verification-Aware Processor Design
… design flow. In most design cycles, a design's verifiability is not explicitly considered at an early stage - when decisions are most influential - because that initial focus is exclusively on improving the design on more traditional metrics like performance, power, and area. It is thus possible …
-
Private, Verifiable, and Auditable AI Systems
… addresses the complex interplay between privacy, verifiability, and auditability in modern AI, particularly in foundation models. It argues that technical solutions that integrate these elements are critical for responsible AI innovation. Drawing from international policy contributions and …
-
Argos: Verifiable FHE Using Commodity Hardware
We present Argos, a simple approach for adding verifiability to fully homomorphic encryption (FHE) schemes using trusted hardware. Traditional approaches to verifiable FHE require expensive cryptographic proofs, which incur an overhead of up to seven orders of magnitude on top of FHE, making them …
-
A Scalable Blockchain Framework for Verifiable and Private Ranked-Choice Online Voting
… electronic machines suffer from limited verifiability. In Internet voting, the more fundamental risks stem from compromised end-user devices, difficulty in achieving end-to-end verifiability that ordinary voters can meaningfully check, and exposure to coercion and vote buying, rather than …
-
A User-Extensible Architecture for Visualization and Analysis of Time-Series Trace Data
… reusability, reliability, testability and verifiability. These design principles are demonstrated by Chitra95, a software architecture proposed in this thesis for visualization and analysis of time-series trace data. This architecture is novel in its combination of independence from problem …
-
Extracting and optimizing low-level bytecode from high-level verified Coq
… and performance optimizations, MCQC combines verifiability with memory and runtime performance. By handling effectful and pure functions MCQC can generate executable code directly from Gallina and link it with trusted code, reducing the effort of implementing and executing verified systems.
-
Post-Quantum Verifiable Oblivious Pseudorandom Functions
… used in prior VOPRF constructions, ensuring the verifiability of PRF outputs while providing smaller proof sizes. Our construction relies on the hardness of the ring-LWE and short integer solution (SIS) problems, and we demonstrate its security in the random oracle model. Overall, our VOPRF …
-
Evaluating the use of surface source banking to accelerate Monte Carlo transport simulations of far-field particle fluxes
In order to enhance the verifiability and usability of surface source banking as a far-field flux and dose simulation acceleration method for Monte Carlo neutron transport codes, two surface source stationarity criteria were developed and evaluated. Surface sources were considered defined, or an …
-
On Performance and Trustworthiness of AI: from inverse problems to Artificial General Intelligence
… in AI, examining its performance, stability, verifiability, and explainability. Starting with an in-depth assessment of the best performance achievable by an AI for inverse problems, the analysis of trustworthy AI culminates in the Consistent Reasoning Paradox. This paradox shows the intricacy …
-
Advances in cryptographic voting systems
… its ability to successfully achieve both verifiability and ballot secrecy, a combination that cannot be achieved by other means. We review a large portion of the literature on cryptographic voting. We propose three novel technical ideas: 1. a simple and inexpensive paper-base cryptographic …
-
Formalization Of Input And Output In Modern Operating Systems: The Hadley Model
… in a concise format allowing for relatively easy verifiability. To further illustrate the utility of the language we present a read/write Microsoft DOS FAT12 and read-only Linux ext2 file system specification written in the new format. We prove the correctness of the read-only side of these …
-
Role of Requirements Engineering in Software Project’s Success
… certain traits such as traceability and verifiability. Numerous studies indicate that most software companies do not ritually follow accepted standards, such as IEEE, while developing their BRDs and we know little about the relationship between requirements documentation project outcome. …
-
CONDOR: Clinical Ontology-aware Networked Data Organization and Retrieval
… significantly improves citation quality and verifiability, establishing a new open-source benchmark for the development of safe and reliable clinical AI.
-
Harpocrates: Privacy-Preserving and Immutable Audit Log for Sensitive Data Operations
… are harnessed for confidentiality and public verifiability. We analyze the security of our proposed technique and prove that it achieves non-malleability and indistinguishability. We fully implemented Harpocrates and evaluated its performance on a real blockchain system (i.e., Hyperledger …
-
zk-Sigstore: System for Anonymous Certificate-Based Software Signing
… authority question, these come with scalability, verifiability, and privacy concerns. This thesis presents zk-Sigstore, a system for usable (certificate-based) and anonymous digital signatures for software. zk-Sigstore is a certificate-based signature system, but instead of publishing identities …
Page 1 of 2