vix.ing · top · new · best · stats · spec

Natalie Popescu

  1. CT-wasm: type-driven secure cryptography for the web ecosystem
    2018/08/03 by Conrad Watt, John Renner, Natalie Popescu +2 · 1 voice
    Computer Science · #Security and Verification in Computing #Web Application Security Vulnerabilities #Cryptographic Implementations and Security