%0 Conference Paper %1 conf/post/BlotYT17 %A Blot, Arthur %A Yamamoto, Masaki %A Terauchi, Tachio %B POST %D 2017 %E Maffei, Matteo %E Ryan, Mark %I Springer %K dblp %P 277-297 %T Compositional Synthesis of Leakage Resilient Programs. %U http://dblp.uni-trier.de/db/conf/post/post2017.html#BlotYT17 %V 10204 %@ 978-3-662-54454-9

@inproceedings{conf/post/BlotYT17, added-at = {2023-06-26T00:00:00.000+0200}, author = {Blot, Arthur and Yamamoto, Masaki and Terauchi, Tachio}, biburl = {https://www.bibsonomy.org/bibtex/261066dfda595b34e8755ec06a1873ff5/dblp}, booktitle = {POST}, crossref = {conf/post/2017}, editor = {Maffei, Matteo and Ryan, Mark}, ee = {https://doi.org/10.1007/978-3-662-54455-6_13}, interhash = {1f52e8f5c7243a09d64af368ca990a5a}, intrahash = {61066dfda595b34e8755ec06a1873ff5}, isbn = {978-3-662-54454-9}, keywords = {dblp}, pages = {277-297}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T11:20:31.000+0200}, title = {Compositional Synthesis of Leakage Resilient Programs.}, url = {http://dblp.uni-trier.de/db/conf/post/post2017.html#BlotYT17}, volume = 10204, year = 2017 }