var bibbase_data = {"data":"<img src=\"//bibbase.org/img/ajax-loader.gif\" id=\"spinner\"\n  style=\"display: none;\" alt=\"Loading..\" />\n\n<div id=\"bibbase\">\n\n  <script type=\"text/javascript\">\n    var bibbase = {\n      params: {\"bib\":\"https://bibbase.org/network/files/nFPjFex2eHhFr3Rxy\",\"jsonp\":\"1\",\"noBootstrap\":\"1\",\"host\":\"bibbase.org\",\"ssl\":false},\n      data: [{\"bibtype\":\"article\",\"type\":\"article\",\"title\":\"RBT4DNN: Requirements-based Testing of Neural Networks\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Mozumder\"],\"firstnames\":[\"Nusrat\",\"Jahan\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Tolado\"],\"firstnames\":[\"Felipe\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Dola\"],\"firstnames\":[\"Swaroopa\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Dwyer\"],\"firstnames\":[\"Matthew\",\"B.\"],\"suffixes\":[]}],\"journal\":\"International Symposium on Software Testing and Analysis (ISSTA)\",\"year\":\"2025\",\"note\":\"Submitted\",\"bibtex\":\"@article{RBT4DNN2025,\\n  title={RBT4DNN: Requirements-based Testing of Neural Networks},\\n  author={Mozumder, Nusrat Jahan and Tolado, Felipe and Dola, Swaroopa and Dwyer, Matthew B.},\\n  journal={International Symposium on Software Testing and Analysis (ISSTA)},\\n  year={2025},\\n  note={Submitted}\\n}\\n\",\"author_short\":[\"Mozumder, N. J.\",\"Tolado, F.\",\"Dola, S.\",\"Dwyer, M. B.\"],\"key\":\"RBT4DNN2025\",\"id\":\"RBT4DNN2025\",\"bibbaseid\":\"mozumder-tolado-dola-dwyer-rbt4dnnrequirementsbasedtestingofneuralnetworks-2025\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"mozumder, n\":\"https://nusratdeeptee.github.io/publications/\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"Training for Verification: Increasing Neuron Stability to Scale DNN Verification\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Xu\"],\"firstnames\":[\"Dong\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Mozumder\"],\"firstnames\":[\"Nusrat\",\"Jahan\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Duong\"],\"firstnames\":[\"Hai\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Dwyer\"],\"firstnames\":[\"Matthew\",\"B\"],\"suffixes\":[]}],\"booktitle\":\"International Conference on Tools and Algorithms for the Construction and Analysis of Systems\",\"pages\":\"24–44\",\"year\":\"2024\",\"organization\":\"Springer\",\"bibtex\":\"@inproceedings{xu2024training,\\n  title={Training for Verification: Increasing Neuron Stability to Scale DNN Verification},\\n  author={Xu, Dong and Mozumder, Nusrat Jahan and Duong, Hai and Dwyer, Matthew B},\\n  booktitle={International Conference on Tools and Algorithms for the Construction and Analysis of Systems},\\n  pages={24--44},\\n  year={2024},\\n  organization={Springer}\\n}\\n\",\"author_short\":[\"Xu, D.\",\"Mozumder, N. J.\",\"Duong, H.\",\"Dwyer, M. B\"],\"key\":\"xu2024training\",\"id\":\"xu2024training\",\"bibbaseid\":\"xu-mozumder-duong-dwyer-trainingforverificationincreasingneuronstabilitytoscalednnverification-2024\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"mozumder, n\":\"https://nusratdeeptee.github.io/publications/\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"A novel secret sharing approach for privacy-preserving authenticated disease risk queries in genomic databases\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Das\"],\"firstnames\":[\"Maitraye\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Mozumder\"],\"firstnames\":[\"Nusrat\",\"Jahan\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Afrose\"],\"firstnames\":[\"Sharmin\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Akbar\"],\"firstnames\":[\"Khandakar\",\"Ashrafi\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Hashem\"],\"firstnames\":[\"Tanzima\"],\"suffixes\":[]}],\"booktitle\":\"2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)\",\"volume\":\"1\",\"pages\":\"645–654\",\"year\":\"2018\",\"organization\":\"IEEE\",\"bibtex\":\"@inproceedings{das2018novel,\\n  title={A novel secret sharing approach for privacy-preserving authenticated disease risk queries in genomic databases},\\n  author={Das, Maitraye and Mozumder, Nusrat Jahan and Afrose, Sharmin and Akbar, Khandakar Ashrafi and Hashem, Tanzima},\\n  booktitle={2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)},\\n  volume={1},\\n  pages={645--654},\\n  year={2018},\\n  organization={IEEE}\\n}\\n\",\"author_short\":[\"Das, M.\",\"Mozumder, N. J.\",\"Afrose, S.\",\"Akbar, K. A.\",\"Hashem, T.\"],\"key\":\"das2018novel\",\"id\":\"das2018novel\",\"bibbaseid\":\"das-mozumder-afrose-akbar-hashem-anovelsecretsharingapproachforprivacypreservingauthenticateddiseaseriskqueriesingenomicdatabases-2018\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"mozumder, n\":\"https://nusratdeeptee.github.io/publications/\"}},\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"title\":\"Towards privacy-preserving authenticated disease risk queries\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Mozumder\"],\"firstnames\":[\"Nusrat\",\"Jahan\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Das\"],\"firstnames\":[\"Maitraye\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Hashem\"],\"firstnames\":[\"Tanzima\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Afrose\"],\"firstnames\":[\"Sharmin\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Akbar\"],\"firstnames\":[\"Khandakar\",\"Ashrafi\"],\"suffixes\":[]}],\"journal\":\"Journal of Information Processing\",\"volume\":\"27\",\"pages\":\"624–642\",\"year\":\"2019\",\"publisher\":\"一般社団法人 情報処理学会\",\"bibtex\":\"@article{mozumder2019towards,\\n  title={Towards privacy-preserving authenticated disease risk queries},\\n  author={Mozumder, Nusrat Jahan and Das, Maitraye and Hashem, Tanzima and Afrose, Sharmin and Akbar, Khandakar Ashrafi},\\n  journal={Journal of Information Processing},\\n  volume={27},\\n  pages={624--642},\\n  year={2019},\\n  publisher={一般社団法人 情報処理学会}\\n}\",\"author_short\":[\"Mozumder, N. J.\",\"Das, M.\",\"Hashem, T.\",\"Afrose, S.\",\"Akbar, K. A.\"],\"key\":\"mozumder2019towards\",\"id\":\"mozumder2019towards\",\"bibbaseid\":\"mozumder-das-hashem-afrose-akbar-towardsprivacypreservingauthenticateddiseaseriskqueries-2019\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"mozumder, n\":\"https://nusratdeeptee.github.io/publications/\"}},\"html\":\"\"}],\n      metadata: {\"owner\":\"mozumder, n\",\"authorlinks\":{\"mozumder, n\":\"https://nusratdeeptee.github.io/publications/\"}},\n      ownerID: \"QkAwXajW6LWeReHPu\"\n    };\n  </script>\n\n  <script type=\"text/javascript\">\n  var site$;\n  if (typeof $ != 'undefined') {\n    console.log('existing jquery: storing and then restoring');\n    site$ = $;\n    $ = null;\n  }\n  </script>\n\n  <script src=\"https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js\">\n  </script>\n  <script type=\"text/javascript\">\n  if (site$) {\n    console.log('existing jquery: avoiding conflict and restoring');\n    bb$ = $.noConflict(true);\n    $ = site$;\n  } else {\n    bb$ = $;\n  }\n  </script>\n\n  <script src=\"//bibbase.org/js/bibbase.min.js\"\n          type=\"text/javascript\">\n  </script>\n\n  <script type=\"text/javascript\"\n          src=\"https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML\">\n  </script>\n  <script type=\"text/x-mathjax-config\">\n    MathJax.Hub.Config({tex2jax: {inlineMath: [['$','$'], ['\\\\(','\\\\)']]},\n                        skipTags: [\"body\"],\n                        processClass: \"bibbase_paper\"});\n  </script>\n\n  <style>\n  @media print {\n    .dontprint {\n        display: none !important;\n    }\n\n  .bibbase_group {\n    background-color: #E0E0E0;\n    font-style: italic;\n    font-size: larger;\n    text-shadow: 0px 0px 3px #FFFFFF;\n    border-radius: 4px 4px 4px 4px;\n    -moz-border-radius: 4px 4px 4px 4px;\n    -webkit-border-radius: 4px;\n    padding: 5px 40px 5px;\n    margin-top: 10px;\n    margin-bottom: 5px;\n    cursor: pointer;\n  }\n\n  .bibbase_paper {\n    margin-bottom: 5px;\n  }\n\n  }\n  </style>\n\n  \n  <div style=\"float: right; margin-right: 10px; margin-top: 10px; text-align: right; font-size: 12px\">\n    generated by\n    <a href=\"//bibbase.org\"\n       onclick=\"trackOutboundLink('bibbase', 'logo clicked', window.location.href, '//bibbase.org'); return false;\">\n      <img src=\"//bibbase.org/img/logo.svg\"\n           style=\"vertical-align: middle; margin-left: 3px; height: 16px;\"/\n           alt=\"bibbase.org\"\n           title=\"BibBase – The easiest way to maintain your publications page.\"\n        ></a>\n    \n  </div>\n  \n\n  <div id=\"bibbase_header\" class=\"dontprint\" style=\"\">\n\n    <ul class=\"nav nav-pills\" style=\"margin: 0px;\">\n\n      <li class=\"dropdown\" id=\"groupby_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\">\n          Group by\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li class=\"groupby year\"><a onclick=\"groupby('year')\">\n            Year</a>\n        </li>\n        <li class=\"groupby author\"><a onclick=\"groupby('author_short')\">\n            Author</a>\n        </li>\n        <li class=\"groupby type\"><a onclick=\"groupby('type')\">\n            Type</a>\n        </li>\n        <li class=\"groupby keyword\"><a onclick=\"groupby('keyword')\">\n            Keyword</a>\n        </li>\n        <li class=\"groupby downloads\"><a onclick=\"groupby('downloads')\">\n            Downloads</a>\n        </li>\n      </ul>\n      </li>\n\n\n      <li class=\"dropdown\" id=\"menu_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\" alt=\"controls\">\n          <i class=\"fa fa-reorder\" alt=\"controls\"></i>\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li>\n          <a onclick=\"toggleAll()\">\n            <i class=\"fa fa-chevron-down fa-fw\"></i> Expand/Collapse All\n          </a>\n        </li>\n        <li>\n          <a download=\"nFPjFex2eHhFr3Rxy\" href=\"data:text/bibtex;base64,QGFydGljbGV7UkJUNEROTjIwMjUsCiAgdGl0bGU9e1JCVDRETk46IFJlcXVpcmVtZW50cy1iYXNlZCBUZXN0aW5nIG9mIE5ldXJhbCBOZXR3b3Jrc30sCiAgYXV0aG9yPXtNb3p1bWRlciwgTnVzcmF0IEphaGFuIGFuZCBUb2xhZG8sIEZlbGlwZSBhbmQgRG9sYSwgU3dhcm9vcGEgYW5kIER3eWVyLCBNYXR0aGV3IEIufSwKICBqb3VybmFsPXtJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiBTb2Z0d2FyZSBUZXN0aW5nIGFuZCBBbmFseXNpcyAoSVNTVEEpfSwKICB5ZWFyPXsyMDI1fSwKICBub3RlPXtTdWJtaXR0ZWR9Cn0KCgpAaW5wcm9jZWVkaW5nc3t4dTIwMjR0cmFpbmluZywKICB0aXRsZT17VHJhaW5pbmcgZm9yIFZlcmlmaWNhdGlvbjogSW5jcmVhc2luZyBOZXVyb24gU3RhYmlsaXR5IHRvIFNjYWxlIEROTiBWZXJpZmljYXRpb259LAogIGF1dGhvcj17WHUsIERvbmcgYW5kIE1venVtZGVyLCBOdXNyYXQgSmFoYW4gYW5kIER1b25nLCBIYWkgYW5kIER3eWVyLCBNYXR0aGV3IEJ9LAogIGJvb2t0aXRsZT17SW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIFRvb2xzIGFuZCBBbGdvcml0aG1zIGZvciB0aGUgQ29uc3RydWN0aW9uIGFuZCBBbmFseXNpcyBvZiBTeXN0ZW1zfSwKICBwYWdlcz17MjQtLTQ0fSwKICB5ZWFyPXsyMDI0fSwKICBvcmdhbml6YXRpb249e1NwcmluZ2VyfQp9CgoKQGlucHJvY2VlZGluZ3N7ZGFzMjAxOG5vdmVsLAogIHRpdGxlPXtBIG5vdmVsIHNlY3JldCBzaGFyaW5nIGFwcHJvYWNoIGZvciBwcml2YWN5LXByZXNlcnZpbmcgYXV0aGVudGljYXRlZCBkaXNlYXNlIHJpc2sgcXVlcmllcyBpbiBnZW5vbWljIGRhdGFiYXNlc30sCiAgYXV0aG9yPXtEYXMsIE1haXRyYXllIGFuZCBNb3p1bWRlciwgTnVzcmF0IEphaGFuIGFuZCBBZnJvc2UsIFNoYXJtaW4gYW5kIEFrYmFyLCBLaGFuZGFrYXIgQXNocmFmaSBhbmQgSGFzaGVtLCBUYW56aW1hfSwKICBib29rdGl0bGU9ezIwMTggSUVFRSA0Mm5kIEFubnVhbCBDb21wdXRlciBTb2Z0d2FyZSBhbmQgQXBwbGljYXRpb25zIENvbmZlcmVuY2UgKENPTVBTQUMpfSwKICB2b2x1bWU9ezF9LAogIHBhZ2VzPXs2NDUtLTY1NH0sCiAgeWVhcj17MjAxOH0sCiAgb3JnYW5pemF0aW9uPXtJRUVFfQp9CgoKQGFydGljbGV7bW96dW1kZXIyMDE5dG93YXJkcywKICB0aXRsZT17VG93YXJkcyBwcml2YWN5LXByZXNlcnZpbmcgYXV0aGVudGljYXRlZCBkaXNlYXNlIHJpc2sgcXVlcmllc30sCiAgYXV0aG9yPXtNb3p1bWRlciwgTnVzcmF0IEphaGFuIGFuZCBEYXMsIE1haXRyYXllIGFuZCBIYXNoZW0sIFRhbnppbWEgYW5kIEFmcm9zZSwgU2hhcm1pbiBhbmQgQWtiYXIsIEtoYW5kYWthciBBc2hyYWZpfSwKICBqb3VybmFsPXtKb3VybmFsIG9mIEluZm9ybWF0aW9uIFByb2Nlc3Npbmd9LAogIHZvbHVtZT17Mjd9LAogIHBhZ2VzPXs2MjQtLTY0Mn0sCiAgeWVhcj17MjAxOX0sCiAgcHVibGlzaGVyPXvkuIDoiKznpL7lm6Pms5Xkurog5oOF5aCx5Yem55CG5a2m5LyafQp9\">\n            <i class=\"fa fa-download fa-fw\"></i> Download BibTeX\n          </a>\n        </li>\n        <li>\n          <a href=\"//bibbase.org/rss?bib=https://bibbase.org/network/files/nFPjFex2eHhFr3Rxy\">\n            <i class=\"fa fa-rss fa-fw\"></i> RSS Feed\n          </a>\n          </li>\n      </ul>\n      </li>\n\n      \n\n\n      \n    </ul>\n\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_embed\"\n         style=\"display: none;\">\n\n      Excellent! Next you can\n      <a href=\"/network/register?next=/network/newSiteFromTemplate%3Fbiburl=https://bibbase.org/network/files/nFPjFex2eHhFr3Rxy\"\n      >create a new website with this list</a>, or\n      embed it in an existing web page by copying &amp; pasting\n      any of the following snippets.\n\n      <div style=\"text-align: left; margin-top: 1em;\">\n        <strong>JavaScript</strong>\n        <span class=\"comment recommended\">(easiest)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;script src=\"https://bibbase.org/show?bib=https%3A%2F%2Fbibbase.org%2Fnetwork%2Ffiles%2FnFPjFex2eHhFr3Rxy&amp;jsonp=1&amp;noBootstrap=1&amp;jsonp=1\"&gt;&lt;/script&gt;\n          </code>\n        </div>\n\n        <strong>PHP</strong>\n        <div class=\"well well-small\">\n          <code>\n            &lt;?php\n            $contents = file_get_contents(\"https://bibbase.org/show?bib=https%3A%2F%2Fbibbase.org%2Fnetwork%2Ffiles%2FnFPjFex2eHhFr3Rxy&amp;jsonp=1&amp;noBootstrap=1\");\n            print_r($contents);\n            ?&gt;\n          </code>\n        </div>\n\n        <strong>iFrame</strong>\n        <span class=\"comment\">(not recommended)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;iframe src=\"https://bibbase.org/show?bib=https%3A%2F%2Fbibbase.org%2Fnetwork%2Ffiles%2FnFPjFex2eHhFr3Rxy&amp;jsonp=1&amp;noBootstrap=1\"&gt;&lt;/iframe&gt;\n          </code>\n        </div>\n\n        <p>\n          For more details see the <a href=\"//bibbase.org/help\">documention</a>.\n        </p>\n      </div>\n    </div>\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_preview\"\n         style=\"display: none;\">\n\n      This is a preview! To use this list on your own web site\n      or create a new web site from it,\n      <a href=\"/network/register?next=/network/newAccountWithFile%3FfileId=\"\n      >create a free account</a>. The file will be added\n      and you will be able to edit it in the File Manager.\n      We will show you instructions once you've created your account.\n    </div>\n\n    <div class=\"alert alert-warning bibbase_msg\" id=\"bibbase_msg_mendeley1\"\n         style=\"display: none;\">\n\n      <p>To the site owner:</p>\n\n      <p><strong>Action required!</strong> Mendeley is changing its\n        API. In order to keep using Mendeley with BibBase past April\n        14th, you need to:\n        <ol>\n          <li>renew the authorization for BibBase on Mendeley, and</li>\n          <li>update the BibBase URL\n            in your page the same way you did when you initially set up\n            this page.\n          </li>\n        </ol>\n      </p>\n\n      <p>\n        <a href=\"http://bibbase.org/cgi-bin/mendeley2/get.py\">\n          <i class=\"fa fa-angle-double-right\"></i>\n          Fix it now</a>\n      </p>\n    </div>\n\n  </div>\n\n\n  <div id=\"bibbase_body\">\n    \n  \n  <div class=\"bibbase_group_whole\" id=\"group_2025\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2025')\"\n      onkeypress=\"toggleGroup('group_2025')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2025</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"mozumder-tolado-dola-dwyer-rbt4dnnrequirementsbasedtestingofneuralnetworks-2025\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  RBT4DNN: Requirements-based Testing of Neural Networks.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://nusratdeeptee.github.io/publications/\">Mozumder, N. J.</a>; Tolado, F.; Dola, S.;  and Dwyer, M. B.\n</span>\n\n  \n\n</span>\n\n  <i>International Symposium on Software Testing and Analysis (ISSTA)</i>.  2025.\n  <span class=\"note\">Submitted</span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/mozumder-tolado-dola-dwyer-rbt4dnnrequirementsbasedtestingofneuralnetworks-2025\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('mozumder-tolado-dola-dwyer-rbt4dnnrequirementsbasedtestingofneuralnetworks-2025')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{RBT4DNN2025,\n  title={RBT4DNN: Requirements-based Testing of Neural Networks},\n  author={Mozumder, Nusrat Jahan and Tolado, Felipe and Dola, Swaroopa and Dwyer, Matthew B.},\n  journal={International Symposium on Software Testing and Analysis (ISSTA)},\n  year={2025},\n  note={Submitted}\n}\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2024\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2024')\"\n      onkeypress=\"toggleGroup('group_2024')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2024</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"xu-mozumder-duong-dwyer-trainingforverificationincreasingneuronstabilitytoscalednnverification-2024\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Training for Verification: Increasing Neuron Stability to Scale DNN Verification.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Xu, D.; <a class=\"bibbase author link\" href=\"https://nusratdeeptee.github.io/publications/\">Mozumder, N. J.</a>; Duong, H.;  and Dwyer, M. B\n</span>\n\n  \n\n</span>\n\n  In <i>International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>, pages 24–44,  2024. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/xu-mozumder-duong-dwyer-trainingforverificationincreasingneuronstabilitytoscalednnverification-2024\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('xu-mozumder-duong-dwyer-trainingforverificationincreasingneuronstabilitytoscalednnverification-2024')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{xu2024training,\n  title={Training for Verification: Increasing Neuron Stability to Scale DNN Verification},\n  author={Xu, Dong and Mozumder, Nusrat Jahan and Duong, Hai and Dwyer, Matthew B},\n  booktitle={International Conference on Tools and Algorithms for the Construction and Analysis of Systems},\n  pages={24--44},\n  year={2024},\n  organization={Springer}\n}\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2019\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2019')\"\n      onkeypress=\"toggleGroup('group_2019')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2019</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"mozumder-das-hashem-afrose-akbar-towardsprivacypreservingauthenticateddiseaseriskqueries-2019\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Towards privacy-preserving authenticated disease risk queries.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://nusratdeeptee.github.io/publications/\">Mozumder, N. J.</a>; Das, M.; Hashem, T.; Afrose, S.;  and Akbar, K. A.\n</span>\n\n  \n\n</span>\n\n  <i>Journal of Information Processing</i>, 27: 624–642.  2019.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/mozumder-das-hashem-afrose-akbar-towardsprivacypreservingauthenticateddiseaseriskqueries-2019\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('mozumder-das-hashem-afrose-akbar-towardsprivacypreservingauthenticateddiseaseriskqueries-2019')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{mozumder2019towards,\n  title={Towards privacy-preserving authenticated disease risk queries},\n  author={Mozumder, Nusrat Jahan and Das, Maitraye and Hashem, Tanzima and Afrose, Sharmin and Akbar, Khandakar Ashrafi},\n  journal={Journal of Information Processing},\n  volume={27},\n  pages={624--642},\n  year={2019},\n  publisher={一般社団法人 情報処理学会}\n}</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2018\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2018')\"\n      onkeypress=\"toggleGroup('group_2018')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2018</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"das-mozumder-afrose-akbar-hashem-anovelsecretsharingapproachforprivacypreservingauthenticateddiseaseriskqueriesingenomicdatabases-2018\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  A novel secret sharing approach for privacy-preserving authenticated disease risk queries in genomic databases.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Das, M.; <a class=\"bibbase author link\" href=\"https://nusratdeeptee.github.io/publications/\">Mozumder, N. J.</a>; Afrose, S.; Akbar, K. A.;  and Hashem, T.\n</span>\n\n  \n\n</span>\n\n  In <i>2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)</i>, volume 1, pages 645–654,  2018. IEEE\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/das-mozumder-afrose-akbar-hashem-anovelsecretsharingapproachforprivacypreservingauthenticateddiseaseriskqueriesingenomicdatabases-2018\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('das-mozumder-afrose-akbar-hashem-anovelsecretsharingapproachforprivacypreservingauthenticateddiseaseriskqueriesingenomicdatabases-2018')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{das2018novel,\n  title={A novel secret sharing approach for privacy-preserving authenticated disease risk queries in genomic databases},\n  author={Das, Maitraye and Mozumder, Nusrat Jahan and Afrose, Sharmin and Akbar, Khandakar Ashrafi and Hashem, Tanzima},\n  booktitle={2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)},\n  volume={1},\n  pages={645--654},\n  year={2018},\n  organization={IEEE}\n}\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n\n\n\n  </div>\n\n\n  <!-- Modal -->\n\n  <!-- <iframe id=\"bibbase_network_frame\" -->\n  <!--         src=\"//bibbase.org/network/control\" -->\n  <!--         style=\"display: none;\"> -->\n  <!-- </iframe> -->\n\n</div>\n"}; document.write(bibbase_data.data);