%0 Journal Article %1 journals/corr/JiaS0D15 %A Jia, Limin %A Sen, Shayak %A Garg, Deepak %A Datta, Anupam %D 2015 %J CoRR %K dblp %T System M: A Program Logic for Code Sandboxing and Identification. %U http://dblp.uni-trier.de/db/journals/corr/corr1501.html#JiaS0D15 %V abs/1501.05673

@article{journals/corr/JiaS0D15, added-at = {2020-08-16T00:00:00.000+0200}, author = {Jia, Limin and Sen, Shayak and Garg, Deepak and Datta, Anupam}, biburl = {https://www.bibsonomy.org/bibtex/2b5ab5a5b6e344c0c31c8fb428a325868/dblp}, ee = {http://arxiv.org/abs/1501.05673}, interhash = {1e5665ec313ce302fedd4357fd0c1731}, intrahash = {b5ab5a5b6e344c0c31c8fb428a325868}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-08-18T11:44:28.000+0200}, title = {System M: A Program Logic for Code Sandboxing and Identification.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1501.html#JiaS0D15}, volume = {abs/1501.05673}, year = 2015 }