Shreds: Fine-grained Execution Units With Private Memory
  • 作者:
  • 收录:
Combining Symbolic Execution and Model Checking for Data Flow Testing
  • 作者: GoSSIP @ LoCCS.Shang
  • 收录:
Building Privacy-Preserving Cryptographic Credentials From Federated Online Identities
  • 作者: GoSSIP @ LoCCS.Shang
  • 收录:
Extract Me if You Can: Abusing PDF Parsers in Malware Detectors
  • 作者: GoSSIP @ LoCCS.Shang
  • 收录:
A Systematic Analysis of the Juniper Dual EC Incident
  • 作者: GoSSIP @ LoCCS.Shang
  • 收录: