%0 Conference Paper %1 conf/vmcai/KarlSBM19 %A Karl, Anja F. %A Schilling, Robert %A Bloem, Roderick %A Mangard, Stefan %B VMCAI %D 2019 %E Enea, Constantin %E Piskac, Ruzica %I Springer %K dblp %P 183-204 %T Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2019.html#KarlSBM19 %V 11388 %@ 978-3-030-11245-5

@inproceedings{conf/vmcai/KarlSBM19, added-at = {2019-01-14T00:00:00.000+0100}, author = {Karl, Anja F. and Schilling, Robert and Bloem, Roderick and Mangard, Stefan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2816b25e5f21b69d8e346de12da2d2a4f/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2019}, editor = {Enea, Constantin and Piskac, Ruzica}, ee = {https://doi.org/10.1007/978-3-030-11245-5_9}, interhash = {f8fabddef7e5d132f36c65ee8f6e87c1}, intrahash = {816b25e5f21b69d8e346de12da2d2a4f}, isbn = {978-3-030-11245-5}, keywords = {dblp}, pages = {183-204}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:55:13.000+0200}, title = {Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2019.html#KarlSBM19}, volume = 11388, year = 2019 }