Results 261 to 263 of about 2,976 (263)
Some of the next articles are maybe not open access.

A verified compiler for a verified microprocessor

1989
openaire   +1 more source

A verified typechecker

1995
openaire   +1 more source

Univer Metric to Measure the Degree of Universal Verifiability in E-Voting

exaly  
blockchain
privacy
cloud computing
homomorphic encryption
outsourcing cloud computing
federated learning
technical reliability
mining equipment
operating efficiency
previous   25  26  27  

Home - About - Disclaimer - Privacy