Pages that link to "Item:Q2915120"
From MaRDI portal
The following pages link to The Security Impact of a New Cryptographic Library (Q2915120):
Displayed 8 items.
- A verified CompCert front-end for a memory model supporting pointer arithmetic and uninitialised data (Q1739908) (← links)
- Gaining trust by tracing security protocols (Q2095430) (← links)
- Verifying constant-time implementations by abstract interpretation (Q2167720) (← links)
- TweetNaCl: A Crypto Library in 100 Tweets (Q2946467) (← links)
- Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC (Q4639476) (← links)
- Formal Proof of the Group Law for Edwards Elliptic Curves (Q5049006) (← links)
- (Q5856419) (← links)
- Output-sensitive information flow analysis (Q6190181) (← links)