%0 Conference Paper %1 conf/cosade/GicquelHHR23 %A Gicquel, Antoine %A Hardy, Damien %A Heydemann, Karine %A Rohou, Erven %B COSADE %D 2023 %E Kavun, Elif Bilge %E Pehl, Michael %I Springer %K dblp %P 3-22 %T SAMVA: Static Analysis for Multi-fault Attack Paths Determination. %U http://dblp.uni-trier.de/db/conf/cosade/cosade2023.html#GicquelHHR23 %V 13979 %@ 978-3-031-29497-6

@inproceedings{conf/cosade/GicquelHHR23, added-at = {2023-03-28T00:00:00.000+0200}, author = {Gicquel, Antoine and Hardy, Damien and Heydemann, Karine and Rohou, Erven}, biburl = {https://www.bibsonomy.org/bibtex/23f8e152d9ed525f4bd3641f6e824c858/dblp}, booktitle = {COSADE}, crossref = {conf/cosade/2023}, editor = {Kavun, Elif Bilge and Pehl, Michael}, ee = {https://doi.org/10.1007/978-3-031-29497-6_1}, interhash = {4d9c795b52e42b9747cd4d861428df25}, intrahash = {3f8e152d9ed525f4bd3641f6e824c858}, isbn = {978-3-031-29497-6}, keywords = {dblp}, pages = {3-22}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:42:40.000+0200}, title = {SAMVA: Static Analysis for Multi-fault Attack Paths Determination.}, url = {http://dblp.uni-trier.de/db/conf/cosade/cosade2023.html#GicquelHHR23}, volume = 13979, year = 2023 }