• Publications
  • Influence

Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage your publications. Semantic Scholar automatically creates author pages based on data aggregated from public sources and our publisher partners.
  • David Walker, Steve Zdancewic, Jay Ligatti
  • Computer Science
  • ICFP '03
  • 2003 (First Publication: 25 August 2003)
  • This paper define the semantics of MinAML, an idealized aspect-oriented programming language, by giving a type-directed translation from its user-friendly external language to its compact,Expand
  • Donald Ray, Jay Ligatti
  • Computer Science
  • POPL '12
  • 2012 (First Publication: 25 January 2012)
  • This paper shows that existing definitions of code-injection attacks (e.g., SQL-injection attacks) are flawed. The flaws make it possible for attackers to circumvent existing mechanisms, by supplyingExpand