%0 Conference Paper %1 conf/ccs/BalliuDG14 %A Balliu, Musard %A Dam, Mads %A Guanciale, Roberto %B ACM Conference on Computer and Communications Security %D 2014 %E Ahn, Gail-Joon %E Yung, Moti %E Li, Ninghui %I ACM %K dblp %P 1080-1091 %T Automating Information Flow Analysis of Low Level Code. %U http://dblp.uni-trier.de/db/conf/ccs/ccs2014.html#BalliuDG14 %@ 978-1-4503-2957-6

@inproceedings{conf/ccs/BalliuDG14, added-at = {2019-09-25T00:00:00.000+0200}, author = {Balliu, Musard and Dam, Mads and Guanciale, Roberto}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28aed5ada45be7e44ae0f2d6e07411d16/dblp}, booktitle = {ACM Conference on Computer and Communications Security}, crossref = {conf/ccs/2014}, editor = {Ahn, Gail-Joon and Yung, Moti and Li, Ninghui}, ee = {https://doi.org/10.1145/2660267.2660322}, interhash = {3a2059b207810c925fd0facd1def058b}, intrahash = {8aed5ada45be7e44ae0f2d6e07411d16}, isbn = {978-1-4503-2957-6}, keywords = {dblp}, pages = {1080-1091}, publisher = {ACM}, timestamp = {2019-09-27T20:05:55.000+0200}, title = {Automating Information Flow Analysis of Low Level Code.}, url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2014.html#BalliuDG14}, year = 2014 }