%0 Conference Paper %1 conf/ccs/FuLSTWY19 %A Fu, Yu-Fu %A Liu, Jiaxiang %A Shi, Xiaomu %A Tsai, Ming-Hsien %A Wang, Bow-Yaw %A Yang, Bo-Yin %B CCS %D 2019 %E Cavallaro, Lorenzo %E Kinder, Johannes %E Wang, XiaoFeng %E Katz, Jonathan %I ACM %K dblp %P 1591-1606 %T Signed Cryptographic Program Verification with Typed CryptoLine. %U http://dblp.uni-trier.de/db/conf/ccs/ccs2019.html#FuLSTWY19 %@ 978-1-4503-6747-9

@inproceedings{conf/ccs/FuLSTWY19, added-at = {2019-11-08T00:00:00.000+0100}, author = {Fu, Yu-Fu and Liu, Jiaxiang and Shi, Xiaomu and Tsai, Ming-Hsien and Wang, Bow-Yaw and Yang, Bo-Yin}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d733f5ffbe6be37cdc1af92906497749/dblp}, booktitle = {CCS}, crossref = {conf/ccs/2019}, editor = {Cavallaro, Lorenzo and Kinder, Johannes and Wang, XiaoFeng and Katz, Jonathan}, ee = {https://doi.org/10.1145/3319535.3354199}, interhash = {dd19d6412c5870674dd651b534138b2d}, intrahash = {d733f5ffbe6be37cdc1af92906497749}, isbn = {978-1-4503-6747-9}, keywords = {dblp}, pages = {1591-1606}, publisher = {ACM}, timestamp = {2019-11-26T07:57:15.000+0100}, title = {Signed Cryptographic Program Verification with Typed CryptoLine.}, url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2019.html#FuLSTWY19}, year = 2019 }