@InProceedings{mra-conf,
 author = {Jay Ligatti and Srikar Reddy},
 title = {A Theory of Runtime Enforcement, with Results},
 booktitle = {Proceedings of the European Symposium on Research in Computer Security ({ESORICS})},
 year = 2010,
 month = sep,
 pages = {87--100},
}