Skip to content

A Formal Model for Checking Cryptographic API Usage in JavaScript.

Duncan Mitchell, Johannes Kinder

Year2019
ProceedingsESORICS (1)

Browse the full ESORICS paper archive.