Sign in

Automatically fixing security vulnerabilities in Java code.

Aharon AbadiRan EttingerYishai A. FeldmanMati Shomrat
Published in: OOPSLA Companion (2011)
Keyphrases
  • security vulnerabilities
  • java code
  • dos attacks
  • intrusion detection
  • security properties