%0 Conference Paper %1 conf/post/GrishchenkoMS18 %A Grishchenko, Ilya %A Maffei, Matteo %A Schneidewind, Clara %B POST %D 2018 %E Bauer, Lujo %E Küsters, Ralf %I Springer %K dblp %P 243-269 %T A Semantic Framework for the Security Analysis of Ethereum Smart Contracts. %U http://dblp.uni-trier.de/db/conf/post/post2018.html#GrishchenkoMS18 %V 10804 %@ 978-3-319-89722-6

@inproceedings{conf/post/GrishchenkoMS18, added-at = {2024-05-07T00:00:00.000+0200}, author = {Grishchenko, Ilya and Maffei, Matteo and Schneidewind, Clara}, biburl = {https://www.bibsonomy.org/bibtex/223a0cd0a4c0d85a59bca7027fee98020/dblp}, booktitle = {POST}, crossref = {conf/post/2018}, editor = {Bauer, Lujo and Küsters, Ralf}, ee = {https://doi.org/10.1007/978-3-319-89722-6_10}, interhash = {d5778beb5486668fa58d516068b58e6d}, intrahash = {23a0cd0a4c0d85a59bca7027fee98020}, isbn = {978-3-319-89722-6}, keywords = {dblp}, pages = {243-269}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T09:04:03.000+0200}, title = {A Semantic Framework for the Security Analysis of Ethereum Smart Contracts.}, url = {http://dblp.uni-trier.de/db/conf/post/post2018.html#GrishchenkoMS18}, volume = 10804, year = 2018 }