The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Privately and Publicly Verifiable Computing Techniques: A Survey

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Accuracy Verification Methods: Theory and Algorithms
Barnes and Noble

Accuracy Verification Methods: Theory and Algorithms

From Barnes and Noble
Handbook of Computer Aided Verification
Barnes and Noble

Handbook of Computer Aided Verification

From Barnes and Noble
Secure System Design and Trustable Computing
Barnes and Noble

Secure System Design and Trustable Computing

From Barnes and Noble
Proofs and Computations
Barnes and Noble

Proofs and Computations

From Barnes and Noble
Current Trends in Hardware Verification and Automated Theorem Proving / Edition 1
Barnes and Noble

Current Trends in Hardware Verification and Automated Theorem Proving / Edition 1

From Barnes and Noble
Code's Cryptic Calculus: Unveiling cryptography's core concepts and practical applications, detailing techniques and methods
Barnes and Noble

Code's Cryptic Calculus: Unveiling cryptography's core concepts and practical applications, detailing techniques and methods

From Barnes and Noble
System-on-Chip Security: Validation and Verification
Barnes and Noble

System-on-Chip Security: Validation and Verification

From Barnes and Noble
Public-Key Cryptography - PKC 2021: 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10-13, 2021, Proceedings, Part II
Barnes and Noble

Public-Key Cryptography - PKC 2021: 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10-13, 2021, Proceedings, Part II

From Barnes and Noble
Foundations of Dependable Computing: System Implementation
Barnes and Noble

Foundations of Dependable Computing: System Implementation

From Barnes and Noble
Computing with Social Trust
Barnes and Noble

Computing with Social Trust

From Barnes and Noble
Secure Edge Computing: Applications, Techniques and Challenges
Barnes and Noble

Secure Edge Computing: Applications, Techniques and Challenges

From Barnes and Noble
Cryptography and Computational Number Theory
Barnes and Noble

Cryptography and Computational Number Theory

From Barnes and Noble
Turing Computability: Theory and Applications
Barnes and Noble

Turing Computability: Theory and Applications

From Barnes and Noble
Security, Privacy and Reliability in Computer Communications and Networks
Barnes and Noble

Security, Privacy and Reliability in Computer Communications and Networks

From Barnes and Noble
Secure Multiparty Computation and Secret Sharing
Barnes and Noble

Secure Multiparty Computation and Secret Sharing

From Barnes and Noble
SAT-Based Scalable Formal Verification Solutions / Edition 1
Barnes and Noble

SAT-Based Scalable Formal Verification Solutions / Edition 1

From Barnes and Noble
Powered by Adeptmind