@conference {inp:FennellThiemann2013, title = {Gradual Security Typing with References}, booktitle = {Proceedings of the 26th IEEE Computer Security Foundations Symposium (CSF 2013)}, year = {2013}, pages = {224-239}, keywords = {conference}, author = {L. Fennell and P. Thiemann} }