@InProceedings{livshits07security-by-construction,
  title =        "Towards Security By Construction for {Web} 2.0
                 Applications",
  author =       "Benjamin Livshits and \'Ulfar Erlingsson",
  year =         "2007",
  month =        may,
  booktitle =    "Workshop on Web 2.0 Security and Privacy {(W2SP)}",
}