SURVEY:SUMMARY:BUILD_DIFFICULTY[not_applicable, reasonable_effort, code_problematic or string] reasonable_effort SURVEY:SUMMARY:CLASSIFICATION[practical,theoretical,hardware] practical SURVEY:SUMMARY:CORRECT_CODE_LOCATION[string] SURVEY:SUMMARY:PUBLISHED_CODE[not_applicable, yes, no] yes SURVEY:SUMMARY:SAME_VERSION[not_applicable, yes, no_but_available, no_and_not_available] yes SURVEY:SUMMARY:STUDY_FOUND_CORRECT_CODE[not_applicable, yes, no] yes SURVEY:AUTHOR1:BUILD_COMMENT[string] SURVEY:AUTHOR1:BUILD_DIFFICULTY[not_applicable, reasonable_effort, code_problematic or string] SURVEY:AUTHOR1:BUILD_DIFFICULTY_COMMENT[string] SURVEY:AUTHOR1:CLASSIFICATION[practical,theoretical,hardware] practical SURVEY:AUTHOR1:CLASSIFICATION_COMMENT[string] SURVEY:AUTHOR1:CORRECT_CODE_LOCATION[string] SURVEY:AUTHOR1:PUBLIC_COMMENT[string] SURVEY:AUTHOR1:PUBLISHED_CODE[not_applicable, yes, no] yes SURVEY:AUTHOR1:SAME_VERSION[not_applicable, yes, no_but_available, no_and_not_available] yes SURVEY:AUTHOR1:SAME_VERSION_COMMENT[string] SURVEY:AUTHOR1:STUDY_FOUND_CORRECT_CODE[not_applicable, yes, no] yes SURVEY:AUTHOR2:BUILD_COMMENT[string] As you say in your note to actually hack a femtocell you need a femtocell and in this case a specific model. I think this specific model is not sold anymore. SURVEY:AUTHOR2:BUILD_DIFFICULTY[not_applicable, reasonable_effort, code_problematic or string] reasonable_effort SURVEY:AUTHOR2:BUILD_DIFFICULTY_COMMENT[string] SURVEY:AUTHOR2:CLASSIFICATION[practical,theoretical,hardware] practical SURVEY:AUTHOR2:CLASSIFICATION_COMMENT[string] SURVEY:AUTHOR2:CORRECT_CODE_LOCATION[string] SURVEY:AUTHOR2:PUBLIC_COMMENT[string] The ProVerif code provided in the paper is fully executable with the latest version of ProVerif available at the time the paper was published.

I myself reproduced the femtocell hack, at a different location and using different hardware and a different SIM card (with respect to the experiments run in order to publish the paper) using the code provided to me by my co-authors. I could reproduce all of our results so I am confident that with the right equipment (femtocell + SIM card) our experiments can be repeated SURVEY:AUTHOR2:PUBLISHED_CODE[not_applicable, yes, no] yes SURVEY:AUTHOR2:SAME_VERSION[not_applicable, yes, no_but_available, no_and_not_available] yes SURVEY:AUTHOR2:SAME_VERSION_COMMENT[string] there are two different set of codes related to the paper:-ProVerif code: the verion used is exactly the one which can be found following the link on the paper-Femtocell code: the version of the code used to hack te femtocell was available from a dedicated webpage but there was a legal dispute so now is available on request. SURVEY:AUTHOR2:STUDY_FOUND_CORRECT_CODE[not_applicable, yes, no] yes