Pages that link to "Item:Q923886"
From MaRDI portal
The following pages link to Proofs of randomized algorithms in Coq (Q923886):
Displayed 6 items.
- Formal probabilistic analysis of detection properties in wireless sensor networks (Q903510) (← links)
- Formalization of Shannon's theorems (Q2352494) (← links)
- Formalizing Probabilistic Noninterference (Q2938053) (← links)
- A Formalized Hierarchy of Probabilistic System Types (Q2945633) (← links)
- Beyond Provable Security Verifiable IND-CCA Security of OAEP (Q3073706) (← links)
- Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience (Q3100218) (← links)