Search Results

A General Purpose Transpiler for Fully Homomorphic Encryption

2 code implementations15 Jun 2021

Fully homomorphic encryption (FHE) is an encryption scheme which enables computation on encrypted data without revealing the underlying data.

Cryptography and Security Programming Languages

QPanda: high-performance quantum computing framework for multiple application scenarios

1 code implementation29 Dec 2022

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 programming relaxations for quantum correlations

1 code implementation5 Jul 2023

Semidefinite programs are convex optimisation problems involving a linear objective function and a domain of positive semidefinite matrices.

Quantum Physics

CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version)

1 code implementation19 Nov 2022

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.

Benchmarking C++ code

Use of Cryptography in Malware Obfuscation

1 code implementation7 Dec 2022

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

QASMBench: A Low-level QASM Benchmark Suite for NISQ Evaluation and Simulation

4 code implementations26 May 2020

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

Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification

1 code implementation3 Jan 2018

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

MAGE: Nearly Zero-Cost Virtual Memory for Secure Computation

1 code implementation23 Jun 2021

A significant obstacle to using SC for practical applications is the memory overhead of the underlying cryptography.

Operating Systems Cryptography and Security

Quantum Relational Hoare Logic

1 code implementation14 Jan 2019

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

ACE, a generic constraint solver

1 code implementation6 Jan 2023

Constraint Programming (CP) is a useful technology for modeling and solving combinatorial constrained problems.

Scheduling