verifiability

There are 0 repository under verifiability topic.

gov4git / gov4git
Decentralized governance for Git communities
attribution byzantine-consensus community dao daos governance open-source security transparency trust trusted-computing verifiability
Language:Go 204
RamonMeffert / ltp-verifiability
Course project on prompt engineering for automated verifiability checking of online user comments.
language-models nlp prompt-engineering verifiability
Language:Python 3
trustops / awesome-trustops
A list of tools and methods for building trustworthy software following TrustOps principles.
confidential-computing devops privacy proofs secure-computing security tee verifiability zero-knowledge trustops trust trusted-execution-environment trustworthiness
3
sbaloglu / tamarin-codes
Tamarin codes for checking verifiability properties of Helios, Belenios and the Estonian e-voting protocol.
e-voting security tamarin-prover automated-proof formal-verification verifiability
2