Pages that link to "Item:Q436406"
From MaRDI portal
The following pages link to Certifying assembly with formal security proofs: the case of BBS (Q436406):
Displaying 6 items.
- Certifying assembly with formal security proofs: the case of BBS (Q436406) (← links)
- Formal security proofs with minimal fuss: implicit computational complexity at work (Q2343128) (← links)
- Formalization of Error-Correcting Codes: From Hamming to Modern Coding Theory (Q2945620) (← links)
- Transfinite Constructions in Classical Type Theory (Q2945651) (← links)
- A Calculus for Game-Based Security Proofs (Q4933210) (← links)
- (Q5009416) (← links)
