@inproceedings{Murray_15, address = {Prague, Czech Republic}, author = {Murray, Toby}, booktitle = {ACM SIGPLAN Workshop on Programming Languages and Analysis for Security}, month = jul, pages = {43--48}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/8697.pdf}, title = {On High-Assurance Information-Flow-Secure Programming Languages}, year = {2015} }