Verifiable Secret Sharing as Secure Computation 由 Gennaro, Rosario, Micali, Silvio

获取全文

Verifiable coded computation of multiple functions 由 Kim, Wilton, Kruglik, Stanislav, Kiah, Han Mao

主题: “...Computer and Information Science...”
获取全文

Verified lifting of stencil computations 由 Kamil, Shoaib, Cheung, Alvin, Itzhaky, Shachar, Solar Lezama, Armando

“...This paper demonstrates a novel combination of program synthesis and verification to lift stencil computations from low-level Fortran code to a high-level summary expressed using a predicate language. ...”
获取全文
获取全文
获取全文

Generalising KAT to Verify Weighted Computations 由 Leandro Gomes, Alexandre Madeira, Luis S. Barbosa

获取全文

Incrementally verifiable computation or knowledge implies time/space efficiency 由 Valiant, Paul (Paul Andrew)

获取全文

The Verifying Compiler‚ a Grand Challenge for Computing Research 由 Hoare, C

The Verifying Compiler: A Grand Challange for Computing Research 由 Hoare, C

The Verifying Compiler: A Grand Challenge for Computing Research 由 Hoare, C

The Verifying Compiler: A Grand Challenge for Computing Research 由 Hoare, C

The Verifying Compiler: A Grand Challenge for Computing Research 由 Hoare, C

The Verifying Compiler: A Grand Challenge for Computing Research 由 Hoare, C

The verifying compiler: A grand challenge for computing research 由 Hoare, C

C++ toolbox for verified computing I : basic numerical problems / 由 Hammer, R.

A computational method of verifying the theorem about rectangles in triangles / 由 493119 Muhammad Hazwadi Hashim, Nor Muhainiah Mohd. Ali, Fakulti Sains

VerSum: Verifiable Computations over Large Public Logs 由 van den Hooff, Jelle, Kaashoek, M. Frans, Zeldovich, Nickolai

获取全文
获取全文
获取全文
获取全文

Verifiable blind quantum computing with trapped ions and single photons 由 Drmota, P, Nadlinger, DP, Main, D, Nichol, BC, Ainley, EM, Leichtle, D, Mantri, A, Kashefi, E, Srinivas, R, Araneda, G, Ballance, CJ, Lucas, DM

“...This experiment demonstrates a path to fully verified quantum computing in the cloud.</p>...”

Practical Cryptographically Private and Verifiable Computation through Hardware-Software Co-Design 由 Samardzic, Nikola

“...Fully Homomorphic Encryption (FHE) and Verifiable Computation (VC) enable offloading computation to untrusted servers with cryptographic privacy and integrity guarantees. ...”
获取全文

Verifying the analogy between transversely coupled spin-1/2 systems and inductively-coupled fluxoniums 由 Wei-Ju Lin, Hyunheung Cho, Yinqi Chen, Maxim G Vavilov, Chen Wang, Vladimir E Manucharyan

获取全文

A polynomial proxy model approach to verifiable decentralized federated learning 由 Tan Li, Samuel Cheng, Tak Lam Chan, Haibo Hu

“...The multivariate polynomial nature of proxy models facilitates the application of Zero-Knowledge Proofs. These proofs verify the computation integrity of updates from each node without disclosing private data. ...”
获取全文

Verifying concurrent systems by approximation 由 Antonino, P