Michael Walter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
47
Venues
21
Active years
1999–2026
Best venue rank
A*
Where they publish
Papers
47 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | LICS | Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions. | Gilles Barthe, Minbo Gao, Jam Kabeer Ali Khan, Matthijs Muis, Ivan Renison, Keiya Sakabe, Michael Walter, Yingte Xu, Tianshi Yu, Li Zhou |
| 2025 | CCS | Towards Verifiable FHE in Practice: Proving Correct Execution of TFHE's Bootstrapping using plonky2. | Louis Tremblay Thibault, Michael Walter |
| 2025 | CRYPTO | Compiled Nonlocal Games from any Trapdoor Claw-Free Function. | Kaniuar Bacho, Alexander Kulpe, Giulio Malavolta, Simon Schmidt, Michael Walter |
| 2025 | EuroCrypt | Drifting Towards Better Error Probabilities in Fully Homomorphic Encryption Schemes. | Olivier Bernard, Marc Joye, Nigel P. Smart, Michael Walter |
| 2025 | FOCS | Complexity theory of orbit closure intersection for tensors: reductions, completeness, and graph isomorphism hardness. | Vladimir Lysikov, Michael Walter |
| 2025 | IPIN | Multipath assisted positioning with arbitrary wall shapes using Doppler information. | Benedikt J. Mller, Martin Schmidhammer, Michael Walter, Christian Gentner, Siwei Zhang, Armin Dammann |
| 2025 | STOC | Computing Moment Polytopes of Tensors, with Applications in Algebraic Complexity and Quantum Information. | Maxim van den Berg, Matthias Christandl, Vladimir Lysikov, Harold Nieuwboer, Michael Walter, Jeroen Zuiddam |
| 2025 | STOC | A Bound on the Quantum Value of All Compiled Nonlocal Games. | Alexander Kulpe, Giulio Malavolta, Connor Paddock, Simon Schmidt, Michael Walter |
| 2025 | STOC | Permutation Superposition Oracles for Quantum Query Lower Bounds. | Christian Majenz, Giulio Malavolta, Michael Walter |
| 2025 | TCC | Computational Monogamy of Entanglement and Non-interactive Quantum Key Distribution. | Alex B. Grilo, Giulio Malavolta, Michael Walter, Tianwei Zhang |
| 2024 | CRYPTO | Robust Quantum Public-Key Encryption with Applications to Quantum Key Distribution. | Giulio Malavolta, Michael Walter |
| 2024 | SCN | Exponential Quantum One-Wayness and EFI Pairs. | Giulio Malavolta, Tomoyuki Morimae, Michael Walter, Takashi Yamakawa |
| 2023 | ESA | (No) Quantum Space-Time Tradeoff for USTCON. | Simon Apers, Stacey Jeffery, Galina Pass, Michael Walter |
| 2023 | FOCS | Interior-point methods on manifolds: theory and applications. | Hiroshi Hirai, Harold Nieuwboer, Michael Walter |
| 2023 | FOCS | The minimal canonical form of a tensor network. | Arturo Acuaviva, Visu Makam, Harold Nieuwboer, David Prez-Garca, Friedrich Sittner, Michael Walter, Freek Witteveen |
| 2023 | TCC | Public-Key Encryption with Quantum Keys. | Khashayar Barooti, Alex B. Grilo, Los Huguenin-Dumittan, Giulio Malavolta, Or Sattath, Quoc-Huy Vu, Michael Walter |
| 2023 | TCC | Weakening Assumptions for Publicly-Verifiable Deletion. | James Bartusek, Dakshita Khurana, Giulio Malavolta, Alexander Poremba, Michael Walter |
| 2022 | CCS | Liberating TFHE: Programmable Bootstrapping with General Quotient Polynomials. | Marc Joye, Michael Walter |
| 2022 | EuroCrypt | CoCoA: Concurrent Continuous Group Key Agreement. | Jol Alwen, Benedikt Auerbach, Miguel Cueto Noval, Karen Klein, Guillermo Pascual-Perez, Krzysztof Pietrzak, Michael Walter |
| 2022 | VTC | Aircraft-to-Aircraft Channel Measurements in the VHF/UHF Band: Analysis of the Line-of-Sight and Lake-Reflected Channel Components. | Miguel A. Bellido-Manganell, Uwe-Carsten Fiebig, Michael Walter |
| 2021 | ICALP | Quantum Algorithms for Matrix Scaling and Matrix Balancing. | Joran van Apeldoorn, Sander Gribling, Yinan Li, Harold Nieuwboer, Michael Walter, Ronald de Wolf |
| 2021 | PKC | The Convergence of Slide-Type Reductions. | Michael Walter |
| 2021 | VTC | Radio Interference Measurements for Urban Cooperative Intelligent Transportation Systems. | Stephan Sand, Paul Unterhuber, Dina Bousdar Ahmed, Fabian de Ponte Mller, Andreas Lehner, Ibrahim Rashdan, Martin Schmidhammer, Rostislav Karsek, Benjamin Siebler, Oliver Heirich, Christian Gentner, Michael Walter, Susanna Kaiser, Markus Ulmschneider, Marius Schaab, Luis Wientgens, Thomas Strang |
| 2021 | SP | Keep the Dirt: Tainted TreeKEM, Adaptively and Actively Secure Continuous Group Key Agreement. | Karen Klein, Guillermo Pascual-Perez, Michael Walter, Chethan Kamath, Margarita Capretto, Miguel Cueto, Ilia Markov, Michelle Yeo, Jol Alwen, Krzysztof Pietrzak |
| 2021 | TCC | Grafting Key Trees: Efficient Key Management for Overlapping Groups. | Jol Alwen, Benedikt Auerbach, Mirza Ahad Baig, Miguel Cueto Noval, Karen Klein, Guillermo Pascual-Perez, Krzysztof Pietrzak, Michael Walter |
| 2021 | TCC | The Cost of Adaptivity in Security Games on Graphs. | Chethan Kamath, Karen Klein, Krzysztof Pietrzak, Michael Walter |
| 2020 | PKC | Improved Discrete Gaussian and Subgaussian Analysis for Lattice Cryptography. | Nicholas Genise, Daniele Micciancio, Chris Peikert, Michael Walter |
| 2019 | EuroCrypt | Reversible Proofs of Sequential Work. | Hamza Abusalah, Chethan Kamath, Karen Klein, Krzysztof Pietrzak, Michael Walter |
| 2019 | FOCS | Towards a Theory of Non-Commutative Optimization: Geodesic 1st and 2nd Order Methods for Moment Maps and Polytopes. | Peter Brgisser, Cole Franks, Ankit Garg, Rafael Mendes de Oliveira, Michael Walter, Avi Wigderson |
| 2018 | EuroCrypt | On the Bit Security of Cryptographic Primitives. | Daniele Micciancio, Michael Walter |
| 2018 | FOCS | Efficient Algorithms for Tensor Scaling, Quantum Marginals, and Moment Polytopes. | Peter Brgisser, Cole Franks, Ankit Garg, Rafael Mendes de Oliveira, Michael Walter, Avi Wigderson |
| 2018 | VTC | Localization of Scatterers in Railway Environments for Train-to-Train Propagation. | Paul Unterhuber, Michael Walter, Thomas Krner |
| 2017 | CRYPTO | Gaussian Sampling over the Integers: Efficient, Generic, Constant-Time. | Daniele Micciancio, Michael Walter |
| 2017 | VTC | Waveform Parameter Selection for ITS Positioning. | Michael Walter, Armin Dammann, Thomas Jost, Ronald Raulefs, Siwei Zhang |
| 2016 | CCS | Creating Cryptographic Challenges Using Multi-Party Computation: The LWE Challenge. | Johannes Buchmann, Niklas Bscher, Florian Gpfert, Stefan Katzenbeisser, Juliane Krmer, Daniele Micciancio, Sander Siim, Christine van Vredendaal, Michael Walter |
| 2016 | EuroCrypt | Practical, Predictable Lattice Basis Reduction. | Daniele Micciancio, Michael Walter |
| 2016 | WoWMoM | Buddies, not enemies: Fairness and performance in cellular offloading. | Nils Richerzhagen, Bjrn Richerzhagen, Michael Walter, Dominik Stingl, Ralf Steinmetz |
| 2015 | PIMRC | Empirical relationship between local scattering function and joint probability density function. | Michael Walter, Thomas Zemen, Dmitriy Shutin |
| 2015 | SODA | Fast Lattice Point Enumeration with Minimal Overhead. | Daniele Micciancio, Michael Walter |
| 2014 | ISIT | A Heisenberg limit for quantum region estimation. | Michael Walter, Joseph M. Renes |
| 2014 | VTC | Experimental Verification of the Non-Stationary Statistical Model for V2V Scatter Channels. | Michael Walter, Uwe-Carsten Fiebig, Alenka G. Zajic |
| 2012 | FOCS | Computing Multiplicities of Lie Group Representations. | Matthias Christandl, Brent Doran, Michael Walter |
| 2012 | MMSys | Graph-based combinations of fragment descriptors for improved 3D Object Retrieval. | Tobias Schreck, Maximilian Scherer, Michael Walter, Benjamin Bustos, Sang Min Yoon, Arjan Kuijper |
| 2011 | VTC | The Doppler-Delay Characteristic of the Aeronautical Scatter Channel. | Michael Walter, Michael Schnell |
| 2001 | BMVC | Data Driven Model Acquisition using Minimum Description Length. | Michael Walter, Alexandra Psarrou, Shaogang Gong |
| 1999 | BMVC | Learning Prior and Observation Augmented Density Models for Behaviour Recognition. | Michael Walter, Alexandra Psarrou, Shaogang Gong |
| 1999 | ICCV | Recognition of Temporal Structures: Learning Prior and Propagating Observation Augmented Densities via Hidden Markov States. | Shaogang Gong, Michael Walter, Alexandra Psarrou |