Skip to content
cs-conference-ranking.org

Verification of a cryptographic primitive: SHA-256 (abstract).

Andrew W. Appel

VenueA*PLDI
Year2015
ProceedingsPLDI
DBLP recordconf/pldi/Appel15 ↗

Browse the full PLDI paper archive.