ERD

26 items found

Toggle all information

The Oneway to Hiding Theorem

Project: CerQuS

Updated at: 01-01-2026

Show more information

Project acronym CerQuS

Kraus Maps

Project: CerQuS

Updated at: 01-01-2026

Show more information

Project acronym CerQuS

Bayesian Inference in Quantum Programs

Project: CerQuS

Updated at: 01-01-2026

Show more information

Project acronym CerQuS

Quantum Relational Hoare Logic Judgements (Master Thesis)

Project: CerQuS

Updated at: 01-01-2026

Show more information

Project acronym CerQuS

Periodic Reporting for period 4 - CerQuS (Certified Quantum Security)

Project: CerQuS

Updated at: 01-01-2026

Show more information

Project acronym CerQuS

Leakage-Free Probabilistic Jasmin Programs

Project: CerQuS

Updated at: 01-01-2026

Show more information

Project acronym CerQuS

Formalizing the One-Way to Hiding Theorem

Project: CerQuS

Updated at: 01-01-2026

Show more information

Project acronym CerQuS

Without Loss of Generality

Project: CerQuS

Updated at: 01-01-2026

Show more information

Project acronym CerQuS

Reasoning about Recursive Quantum Programs

Project: CerQuS

Updated at: 01-01-2026

Show more information

Project acronym CerQuS

With-Type – Poor man's dependent types

Project: CerQuS

Updated at: 01-01-2026

Show more information

Project acronym CerQuS

The Tensor Product on Hilbert Spaces

Project: CerQuS

Updated at: 01-01-2026

Show more information

Project acronym CerQuS

Generic Authenticated Key Exchange in the Quantum Random Oracle Model

Project: CerQuS

Updated at: 27-04-2024

Show more information

Project acronym CerQuS

Quantum Relational Hoare Logic with Expectations

Project: CerQuS

Updated at: 27-04-2024

Show more information

Project acronym CerQuS

Post-Quantum Verification of Fujisaki-Okamoto

Project: CerQuS

Updated at: 27-04-2024

Show more information

Project acronym CerQuS

Reflection, rewinding, and coin-toss in EasyCrypt

Project: CerQuS

Updated at: 27-04-2024

Show more information

Project acronym CerQuS

Improved Lattice-Based Mix-Nets for Electronic Voting

Project: CerQuS

Updated at: 27-04-2024

Show more information

Project acronym CerQuS

Complex Bounded Operators

Project: CerQuS

Updated at: 27-04-2024

Show more information

Project acronym CerQuS

Quantum and classical registers

Project: CerQuS

Updated at: 27-04-2024

Show more information

Project acronym CerQuS

Everlasting UC Commitments from Fully Malicious PUFs

Project: CerQuS

Updated at: 27-04-2024

Show more information

Project acronym CerQuS

Local Variables and Quantum Relational Hoare Logic

Project: CerQuS

Updated at: 27-04-2024

Show more information

Project acronym CerQuS

Banach-Steinhaus Theorem

Project: CerQuS

Updated at: 27-04-2024

Show more information

Project acronym CerQuS

Towards Compressed Permutation Oracles

Project: CerQuS

Updated at: 27-04-2024

Show more information

Project acronym CerQuS

Relationships Between Quantum IND-CPA Notions

Project: CerQuS

Updated at: 27-04-2024

Show more information

Project acronym CerQuS

Improved lattice-based mix-nets for electronic voting

Project: CerQuS

Updated at: 27-04-2024

Show more information

Project acronym CerQuS

Compressed Permutation Oracles (And the Collision-Resistance of Sponge/SHA3)

Project: CerQuS

Updated at: 27-04-2024

Show more information

Project acronym CerQuS

Quantum and Classical Registers

Project: CerQuS

Updated at: 27-04-2024

Show more information

Project acronym CerQuS