Dual-System Simulation-Soundness with Applications to UC-PAKE and More

From MaRDI portal
Publication:2811149