Fully homomorphic encryption (FHE) is an encryption scheme which enables computation on encrypted data without revealing the underlying data.
Cryptography and Security Programming Languages
With the birth of Noisy Intermediate Scale Quantum (NISQ) devices and the verification of "quantum supremacy" in random number sampling and boson sampling, more and more fields hope to use quantum computers to solve specific problems, such as aerodynamic design, route allocation, financial option prediction, quantum chemical simulation to find new materials, and the challenge of quantum cryptography to automotive industry security.
Programming Languages Quantum Physics
Semidefinite programs are convex optimisation problems involving a linear objective function and a domain of positive semidefinite matrices.
Quantum Physics
Most software domains rely on compilers to translate high-level code to multiple different machine languages, with performance not too much worse than what developers would have the patience to write directly in assembly language.
Malware authors often use cryptographic tools such as XOR encryption and block ciphers like AES to obfuscate part of the malware to evade detection.
Cryptography and Security
For evaluation, we measure the execution fidelity of a subset of QASMBench applications on 12 IBM-Q machines through density matrix state tomography, which comprises 25K circuit evaluations.
Quantum Physics
In contrast to the pre-accelerator era, when the ISA played an important role in verification by enabling a clean separation of concerns between software and hardware, verification of these "accelerator-rich" SoCs presents new challenges.
Hardware Architecture
A significant obstacle to using SC for practical applications is the memory overhead of the underlying cryptography.
Operating Systems Cryptography and Security
This logic follows the spirit of probabilistic relational Hoare logic (Barthe et al. 2009) and allows us to formulate how the outputs of two quantum programs relate given the relationship of their inputs.
Quantum Physics Logic in Computer Science
Constraint Programming (CP) is a useful technology for modeling and solving combinatorial constrained problems.