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

Sorawit Suriyakarn

  1. Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats
    2018/03/13 by Benjamin Delaware, Delaware, Benjamin, Sorawit Suriyakarn +7 · 1 voice · 2 citations
    Computer Science · #Advanced Data Storage Technologies #Advanced Malware Detection Techniques #Security and Verification in Computing #cs.PL