%0 Conference Paper %1 conf/ccs/0003FL19 %A Das, Poulami %A Faust, Sebastian %A Loss, Julian %B ACM Conference on Computer and Communications Security %D 2019 %E Cavallaro, Lorenzo %E Kinder, Johannes %E Wang, XiaoFeng %E Katz, Jonathan %I ACM %K dblp %P 651-668 %T A Formal Treatment of Deterministic Wallets. %U http://dblp.uni-trier.de/db/conf/ccs/ccs2019.html#0003FL19 %@ 978-1-4503-6747-9

@inproceedings{conf/ccs/0003FL19, added-at = {2020-03-06T00:00:00.000+0100}, author = {Das, Poulami and Faust, Sebastian and Loss, Julian}, biburl = {https://www.bibsonomy.org/bibtex/234a54efb3d571d6aecb3b3ca4e4c1dc6/dblp}, booktitle = {ACM Conference on Computer and Communications Security}, crossref = {conf/ccs/2019}, editor = {Cavallaro, Lorenzo and Kinder, Johannes and Wang, XiaoFeng and Katz, Jonathan}, ee = {https://doi.org/10.1145/3319535.3354236}, interhash = {b4f59722917df0d7f8257fbfd3c91b11}, intrahash = {34a54efb3d571d6aecb3b3ca4e4c1dc6}, isbn = {978-1-4503-6747-9}, keywords = {dblp}, pages = {651-668}, publisher = {ACM}, timestamp = {2020-11-11T11:36:19.000+0100}, title = {A Formal Treatment of Deterministic Wallets.}, url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2019.html#0003FL19}, year = 2019 }