Publications de Mingfei Yu | EPFL Graph Search

Back-end-aware Fault-tolerant Quantum Oracle Synthesis

Giovanni De Micheli, Alessandro Tempia Calvino, Mingfei Yu

Quantum oracle synthesis involves compiling arbitrary Boolean functions into quantum circuits using specific quantum gates supported by the target quantum computer. The Clifford+T gate library is particularly common in fault-tolerant quantum computing syst ...

Association for Computing Machinery2025

Unleashing the Power of T1-cells in SFQ Arithmetic Circuits

Giovanni De Micheli, Mingfei Yu, Rassul Bairamkulov

Rapid single-flux quantum (RSFQ) is one of the most advanced cryogenic superconductive electronics technologies. With orders of magnitude smaller power dissipation, RSFQ is an attractive technology for cloud computing, aerospace electronics, and high-speed ...

Institute of Electrical and Electronics Engineers Inc.2024

RareLS: Rarity-Reducing Logic Synthesis for Mitigating Hardware Trojan Threats

Giovanni De Micheli, Mingfei Yu

Hardware Trojan (HT) poses a critical security threat to integrated circuits, which can change circuit functionality or leak sensitive data. HTs are typically activated under low-probability conditions by exploiting "rare signals" in logic circuits. In thi ...

ACM2024

On the Synthesis of High-performance Homomorphic Boolean Circuits

Giovanni De Micheli, Alessandro Tempia Calvino, Mingfei Yu

The rapid growth of cloud computing has intensified the need for secure data outsourcing solutions. Fully homomorphic encryption (FHE) offers a promising approach by enabling computations on encrypted data without exposing the plaintext. This paper advance ...

Association for Computing Machinery, Inc2024

Technology-Aware Logic Synthesis for Superconducting Electronics

Giovanni De Micheli, Dewmini Sudara Marakkalage, Siang-Yun Lee, Alessandro Tempia Calvino, Mingfei Yu, Rassul Bairamkulov

Superconducting electronics provide us with cryogenic digital circuits that can rival established technologies in performance and energy consumption. Today, the lack of tools for the design of large-scale integrated superconducting circuits is a major obst ...

2024

Generating Lower-Cost Garbled Circuits: Logic Synthesis Can Help

Giovanni De Micheli, Mingfei Yu

Garbled circuit (GC)-based frameworks are the cornerstone of advanced secure multi-party computation (MPC) protocols in various domains. These applications, such as secure network inference, require both scalability and real-time computation. However, the ...

IEEE Xplore2023

Garbled Circuits Reimagined: Logic Synthesis Unleashes Efficient Secure Computation

Giovanni De Micheli, Dewmini Sudara Marakkalage, Mingfei Yu

Garbled circuit (GC) is one of the few promising protocols to realize general-purpose secure computation. The target computation is represented by a Boolean circuit that is subsequently transformed into a network of encrypted tables for execution. The need ...

MDPI2023

Striving for Both Quality and Speed: Logic Synthesis for Practical Garbled Circuits

Giovanni De Micheli, Mingfei Yu

Garbled circuit (GC) is one of the few promising protocols to realize general-purpose secure computation. The target computation is represented by a Boolean circuit that is subsequently transformed into a network of encrypted tables for execution. The need ...

IEEE2023