@inproceedings{Sison_18, address = {Los Angeles}, author = {Sison, Robert}, booktitle = {2nd Workshop on Principles of Secure Compilation}, date = {2018-1-13}, month = jan, numpages = {2}, paperurl = {https://trustworthy.systems/publications/full_text/Sison_18.pdf}, publisher = {Cătălin Hriţcu}, title = {Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs}, year = {2018} }