Michael Walter

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2024
Towards Verifiable FHE in Practice: Proving Correct Execution of TFHE's Bootstrapping using plonky2.
IACR Cryptol. ePrint Arch., 2024

A Computational Tsirelson's Theorem for the Value of Compiled XOR Games.
IACR Cryptol. ePrint Arch., 2024

2023
Non-Interactive Quantum Key Distribution.
IACR Cryptol. ePrint Arch., 2023

Weakening Assumptions for Publicly-Verifiable Deletion.
IACR Cryptol. ePrint Arch., 2023

A Simple Construction of Quantum Public-Key Encryption from Quantum-Secure One-Way Functions.
IACR Cryptol. ePrint Arch., 2023

Public-Key Encryption with Quantum Keys.
IACR Cryptol. ePrint Arch., 2023

QbC: Quantum Correctness by Construction.
CoRR, 2023

AdaptiveShape: Solving Shape Variability for 3D Object Detection with Geometry Aware Anchor Distributions.
CoRR, 2023

2018
Tracing Internet Path Transparency.
Proceedings of the Network Traffic Measurement and Analysis Conference, 2018


  Loading...