Privately and Publicly Verifiable Computing Techniques : A Survey /

QR Code

Privately and Publicly Verifiable Computing Techniques : A Survey /

Bibliographic Details
Main Authors:	Demirel, Denise. (Author), Schabhüser, Lucas. (Author), Buchmann, Johannes. (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:	1st ed. 2017.
Series:	SpringerBriefs in Computer Science,
Subjects:	Data structures (Computer science). Computer science-Mathematics. Discrete mathematics. Computer software-Reusability. Data Structures and Information Theory. Mathematics of Computing. Discrete Mathematics. Performance and Reliability.

Similar Items

Verifiable Composition of Signature and Encryption : A Comprehensive Study of the Design Paradigms /
by: El Aimani, Laila.
Published: (2017)

Frontiers in Algorithmics : 11th International Workshop, FAW 2017, Chengdu, China, June 23-25, 2017, Proceedings /
Published: (2017)

Graph-Theoretic Concepts in Computer Science : 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers /
Published: (2017)

Combinatorial Optimization and Graph Algorithms : Communications of NII Shonan Meetings /
Published: (2017)

Structural Information and Communication Complexity : 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers /
Published: (2017)

Computer Science - Theory and Applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings /
Published: (2017)

Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday /
Published: (2017)

Innovations in Digital Watermarking Techniques /
by: Wang, Feng-Hsing.
Published: (2009)

DNA Computing and Molecular Programming : 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings /
Published: (2017)

Computational Science and Its Applications - ICCSA 2017 : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part II /
Published: (2017)

Graph-Based Representations in Pattern Recognition : 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings /
Published: (2017)

Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications /
by: O'Regan, Gerard.
Published: (2017)

Compressive Sensing for the Photonic Mixer Device : Fundamentals, Methods and Results /
by: Heredia Conde, Miguel.
Published: (2017)

Mathematical Morphology and Its Applications to Signal and Image Processing : 13th International Symposium, ISMM 2017, Fontainebleau, France, May 15-17, 2017, Proceedings /
Published: (2017)

Description Logics in Multimedia Reasoning /
by: Sikos, Leslie F.
Published: (2017)

Combinatorial Optimization and Applications : 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I /
Published: (2017)

Combinatorial Optimization and Applications : 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II /
Published: (2017)

Graph Transformation : 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings /
Published: (2017)

Hypergraph Theory : An Introduction /
by: Bretto, Alain.
Published: (2013)

Integration of AI and OR Techniques in Constraint Programming : 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings /
Published: (2017)

Theoretical Computer Science and Discrete Mathematics : First International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016, Revised Selected Papers /
Published: (2017)

Space in Weak Propositional Proof Systems /
by: Bonacina, Ilario.
Published: (2017)

Computing and Combinatorics : 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings /
Published: (2017)

Mathematics and Computing : Third International Conference, ICMC 2017, Haldia, India, January 17-21, 2017, Proceedings /
Published: (2017)

Feistel Ciphers : Security Proofs and Cryptanalysis /
by: Nachef, Valerie., et al.
Published: (2017)

Constructive Side-Channel Analysis and Secure Design : 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017, Revised Selected Papers /
Published: (2017)

Content-Based Image Retrieval Ideas, Influences, and Current Trends /
by: Tyagi, Vipin.
Published: (2017)

The Incomputable : Journeys Beyond the Turing Barrier /
Published: (2017)

Theory and Applications of Models of Computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings /
Published: (2017)

Logic, Rationality, and Interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings /
Published: (2017)

Tutorials on the Foundations of Cryptography : Dedicated to Oded Goldreich /
Published: (2017)

Introduction to Mathematica® with Applications /
by: Mureşan, Marian.
Published: (2017)

Subdivision Surface Modeling Technology /
by: Liao, Wenhe., et al.
Published: (2017)

Modern Language Models and Computation Theory with Applications /
by: Meduna, Alexander., et al.
Published: (2017)

Innovative Security Solutions for Information Technology and Communications : 10th International Conference, SecITC 2017, Bucharest, Romania, June 8-9, 2017, Revised Selected Papers /
Published: (2017)

Mathematics for Computer Graphics /
by: Vince, John.
Published: (2017)

Cyber Security Cryptography and Machine Learning : First International Conference, CSCML 2017, Beer-Sheva, Israel, June 29-30, 2017, Proceedings /
Published: (2017)

Progress in Cryptology - INDOCRYPT 2017 : 18th International Conference on Cryptology in India, Chennai, India, December 10-13, 2017, Proceedings /
Published: (2017)

Genetic Algorithms for Applied CAD Problems /
by: Kureichik, Viktor M., et al.
Published: (2009)

WALCOM: Algorithms and Computation : 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29-31, 2017, Proceedings /
Published: (2017)