Quantum FHE (Almost) As Secure as Classical Zvika Brakerski∗ Abstract Fully homomorphic encryption schemes (FHE) allow to apply arbitrary efficient computation to encrypted data without decrypting it first. In Quantum

Source URL: eprint.iacr.org

• Cryptography
• Post-quantum cryptography
• Lattice-based cryptography
• Models of computation
• Homeomorphisms
• Homomorphic encryption
• Quantum computing
• Lattice
• Learning with errors
• RSA
• One-time pad
• Quantum circuit

Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient

Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com

• Air pollution
• Pollution
• Pollution in the United States
• Occupational safety and health
• Natural environment
• Pollution in China
• Air pollution in the United States

ZKPDL: A Language-Based System for Efficient Zero-Knowledge Proofs and Electronic Cash Sarah Meiklejohn University of California, San Diego smeiklej@ cs.ucsd.edu

Source URL: www.usenix.org

• Cryptography
• Public-key cryptography
• Computational complexity theory
• Zero-knowledge proof
• Proof of knowledge
• Commitment scheme
• Non-interactive zero-knowledge proof
• IP
• Cryptographic protocol
• NP
• RSA
• Zero knowledge

A hybrid architecture for interactive verifiable computation Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin questions of the prover, and applies efficient tests to the

Source URL: www.pepper-project.org

Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient

Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com

• Computing
• Data management
• Data
• Business intelligence
• Knowledge representation
• Web services
• Semantic Web
• Data transformation
• Ontotext
• OpenRefine
• Platform as a service
• Data cleansing

An Efficient Hardware Architecture for Factoring Integers with the Elliptic Curve Method Jens Franke1 , Thorsten Kleinjung1 , Christof Paar2 , Jan Pelzl2 , 4 ˇ Christine Priplata3 , Martin Simka

Source URL: www.hyperelliptic.org

• Integer factorization algorithms
• Mathematics
• Abstract algebra
• Algebra
• Lenstra elliptic-curve factorization
• Quadratic sieve
• Montgomery modular multiplication
• Elliptic curve
• Exceptional case-marking
• Division algorithm
• General number field sieve

Enabling Leading Energy Efficient, Ultra High Dense and Large Scale Supercomputing towards Exascale

Source URL: hpcadvisorycouncil.com

• Computing
• Computer architecture
• Parallel computing
• Intel
• Supercomputer
• Copyright
• TOP500

Efficient Generation of Unsatisfiability Proofs and Cores in SAT Roberto As´ın, Robert Nieuwenhuis, Albert Oliveras, Enric Rodr´ıguez-Carbonell? Abstract. Some modern DPLL-based propositional SAT solvers now have fas

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematical logic
• Automated theorem proving
• Mathematics
• Logic in computer science
• Propositional calculus
• Constraint programming
• DPLL algorithm
• Logic programming
• Boolean satisfiability problem
• Unsatisfiable core
• Maximum satisfiability problem

Snuggle: Designing for efficient socialization and ideological critique Aaron Halfaker Research & Data Wikimedia Foundation

Source URL: www-users.cs.umn.edu

• Social information processing
• Humancomputer interaction
• Human behavior
• Collaboration
• Human resource management
• Communities
• Wikipedia community
• Wikipedia
• Digital media
• Wiki
• Socialization
• Feminist HCI

Runtime Monitoring Quantified Event Automata Efficient monitoring

Source URL: www.cs.man.ac.uk

• Formal methods
• Logic in computer science
• Runtime verification
• Marq
• Monitoring
• System programming
• Computing
• Computer science