Cargando…

Privately and publicly verifiable computing techniques: a survey

Detalles Bibliográficos
Autores principales:	Demirel, Denise, Schabh&#xfcser, Lucas, Buchmann, Johannes
Lenguaje:	eng
Publicado:	Springer 2017
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/2298127

Ejemplares similares

Homomorphic signature schemes: a survey
por: Traverso, Giulia, et al.
Publicado: (2016)

QED at large: a survey of engineering of formally verified software
por: Ringer, Talia, et al.
Publicado: (2019)

Towards verified systems
por: Bowen, J
Publicado: (2013)

Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system
por: Boldo, Sylvie, et al.
Publicado: (2017)

Microsoft private cloud computing
por: Finn, Aidan
Publicado: (2012)

Network security: private communication in a public world
por: Kaufman, Charlie, et al.
Publicado: (2002)

Ambient computing: how invisible hardware, self-starting apps, and nonstop surveillance reshape our public and private lives
por: Barlow, Mike
Publicado: (2016)

VMware private cloud computing with vCloud director
por: Gallagher, Simon, et al.
Publicado: (2013)

Verifiable composition of signature and encryption: a comprehensive study of the design paradigms
por: El Aimani, Laila
Publicado: (2017)

Private cloud computing: consolidation, virtualization, and service-oriented infrastructure
por: Smoot, Stephen R, et al.
Publicado: (2012)

Veracity of big data: machine learning and other approaches to verifying truthfulness
por: Pendyala, Vishnu
Publicado: (2018)

Managing a tier-2 computer centre with a private cloud infrastructure
por: Bagnasco, Stefano, et al.
Publicado: (2014)

Integrating multiple scientific computing needs via a Private Cloud infrastructure
por: Bagnasco, S, et al.
Publicado: (2014)

A guide to improving data integrity and adoption: a case study in verifying usage data
por: Roper, Jessica
Publicado: (2017)

Principles of verifiable RTL design: a functioning coding style supporting verification processes in verilog
por: Bening, L
Publicado: (2001)

Virtual private networks
por: Scott, Charlie, et al.
Publicado: (1999)

Benchmarking and accounting for the (private) cloud
por: Belleman, J, et al.
Publicado: (2015)

Troubleshooting virtual private networks
por: Lewis, Mark
Publicado: (2004)

OpenStack Networking cookbook: harness the power of Openstack Networking for public and private clouds using 90 hands-on recipes
por: Subramanian, Sriram, et al.
Publicado: (2015)

Grid computing: techniques and applications
por: Wilkinson, Barry
Publicado: (2009)

Evolutionary computation: techniques and applications
por: Gujarathi, Ashish M, et al.
Publicado: (2016)

Computing-intensive calculation techniques
por: James, F
Publicado: (1988)

Convention on Digital-computer Techniques
por: Collective
Publicado: (1956)

Computer animation: algorithms and techniques
por: Parent, Rick
Publicado: (2012)

Computer fraud survey
por: Audit Commission for Local Authorities in England and Wales
Publicado: (1985)

The most complex machine: a survey of computers and computing
por: Eck, David J
Publicado: (1995)

Public Resource Computing and GEANT4
por: Klem, J, et al.
Publicado: (2006)

Integrating containers in the CERN private cloud
por: Noel, Bertrand, et al.
Publicado: (2017)

Intelligence-based security in private industry
por: Trier, Thomas A
Publicado: (2015)

Windows 2000: virtual private networking
por: Fortenberry, Thaddeus
Publicado: (2001)

IPsec virtual private network fundamentals
por: Carmouche, James Henry
Publicado: (2006)

Soft computing techniques for engineering optimization
por: Kumar, Kaushik, et al.
Publicado: (2019)

Conference on Redundancy Techniques in Computing Systems
por: Cowan, J D
Publicado: (1962)

Computer Architecture Techniques for Power-Efficiency
por: Kaxiras, Stefanos, et al.
Publicado: (2008)

Literature survey of computer graphics
por: Kjelldahl, L
Publicado: (1978)

Experience of public procurement of Open Compute servers
por: Bärring, Olof, et al.
Publicado: (2015)

Virtualization and private cloud with VMware cloud suite
por: Chao, Lee
Publicado: (2017)

Private and open data in Asia: a regional guide
por: Lu, Franklin
Publicado: (2015)

Moving HammerCloud to CERN's private cloud
por: Barrand, Quentin
Publicado: (2013)

Exploiting analytics techniques in CMS computing monitoring
por: Bonacorsi, D, et al.
Publicado: (2017)

Cannot write session to /tmp/vufind_sessions/sess_fju9ts8qh658hcm4fn52nf4tqf