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://comsec.ethz.ch/wp-content/files/bibtex.bib\",\"css\":\"none\",\"filter\":\"authors:Ceesay-Seitz\",\"fullnames\":\"1\",\"jsonp\":\"1\",\"host\":\"bibbase.org\"},\n      data: [{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"Cascade: CPU Fuzzing via Intricate Program Generation\",\"booktitle\":\"USENIX Security\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Solt\"],\"firstnames\":[\"Flavien\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Ceesay-Seitz\"],\"firstnames\":[\"Katharina\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Razavi\"],\"firstnames\":[\"Kaveh\"],\"suffixes\":[]}],\"month\":\"August\",\"year\":\"2024\",\"keywords\":\"dir_designsec, proj_lastbug, proj_promise, type_tier1\",\"bibtex\":\"@inproceedings{solt_cascade_2024,\\n\\ttitle = {{Cascade: CPU Fuzzing via Intricate Program Generation}}, \\n\\turl = {Paper=https://comsec.ethz.ch/wp-content/files/cascade_sec24.pdf URL=https://comsec.ethz.ch/cascade},\\n\\tbooktitle = {{USENIX Security}},\\n\\tauthor = {Solt, Flavien and Ceesay-Seitz, Katharina and Razavi, Kaveh},\\n\\tmonth = aug,\\n\\tyear = {2024},\\n\\tkeywords = {dir\\\\_designsec, proj\\\\_lastbug, proj\\\\_promise, type\\\\_tier1}\\n}\\n\\n\",\"author_short\":[\"Solt, F.\",\"Ceesay-Seitz, K.\",\"Razavi, K.\"],\"urlPaper\":\"https://comsec.ethz.ch/wp-content/files/cascade_sec24.pdf\",\"urlURL\":\"https://comsec.ethz.ch/cascade\",\"key\":\"solt_cascade_2024\",\"id\":\"solt_cascade_2024\",\"bibbaseid\":\"solt-ceesayseitz-razavi-cascadecpufuzzingviaintricateprogramgeneration-2024\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://comsec.ethz.ch/wp-content/files/cascade_sec24.pdf\",\"URL\":\"https://comsec.ethz.ch/cascade\"},\"keyword\":[\"dir_designsec\",\"proj_lastbug\",\"proj_promise\",\"type_tier1\"],\"metadata\":{\"authorlinks\":{\"ceesay-seitz, k\":\"https://comsec.ethz.ch/people/katharina-ceesay-seitz/\"}},\"downloads\":228,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"Formal Property Verification of the Digital Section of an Ultra-Low Current Digitizer ASIC\",\"url\":\"https://dvcon-proceedings.org/document/formal-property-verification-of-the-digital-section-of-an-ultra-low-current-digitizer-asic\",\"booktitle\":\"DVCON Europe\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Ceesay-Seitz\"],\"firstnames\":[\"Katharina\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Mohanan\"],\"firstnames\":[\"Sarath\",\"Kundumattathil\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Boukabache\"],\"firstnames\":[\"Hamza\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Perrin\"],\"firstnames\":[\"Daniel\"],\"suffixes\":[]}],\"month\":\"October\",\"year\":\"2021\",\"bibtex\":\"@inproceedings{kcs-dvcon-21,\\n\\ttitle = {Formal Property Verification of the Digital Section of an Ultra-Low Current Digitizer ASIC},\\n\\turl = {https://dvcon-proceedings.org/document/formal-property-verification-of-the-digital-section-of-an-ultra-low-current-digitizer-asic},\\n\\tbooktitle = {DVCON Europe},\\n\\tauthor = {Ceesay-Seitz, Katharina and Mohanan, Sarath Kundumattathil and Boukabache, Hamza and Perrin, Daniel},\\n\\tmonth = oct,\\n\\tyear = {2021},\\n}\\n\\n\",\"author_short\":[\"Ceesay-Seitz, K.\",\"Mohanan, S. K.\",\"Boukabache, H.\",\"Perrin, D.\"],\"key\":\"kcs-dvcon-21\",\"id\":\"kcs-dvcon-21\",\"bibbaseid\":\"ceesayseitz-mohanan-boukabache-perrin-formalpropertyverificationofthedigitalsectionofanultralowcurrentdigitizerasic-2021\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://dvcon-proceedings.org/document/formal-property-verification-of-the-digital-section-of-an-ultra-low-current-digitizer-asic\"},\"metadata\":{\"authorlinks\":{\"ceesay-seitz, k\":\"https://comsec.ethz.ch/people/katharina-ceesay-seitz/\"}},\"downloads\":14,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"RomLibEmu: Network Interface Stress Tests for the CERN Radiation Monitoring Electronics (CROME)\",\"url\":\"https://doi.org/10.18429/JACoW-ICALEPCS2021-MOBR01\",\"booktitle\":\"ICALEPCS\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Ceesay-Seitz\"],\"firstnames\":[\"Katharina\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Boukabache\"],\"firstnames\":[\"Hamza\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Leveneur\"],\"firstnames\":[\"Marvin\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Perrin\"],\"firstnames\":[\"Daniel\"],\"suffixes\":[]}],\"month\":\"October\",\"year\":\"2021\",\"bibtex\":\"@inproceedings{kcs-icalepcs-21,\\n\\ttitle = {RomLibEmu: Network Interface Stress Tests for the CERN Radiation Monitoring Electronics (CROME)},\\n\\turl = {https://doi.org/10.18429/JACoW-ICALEPCS2021-MOBR01},\\n\\tbooktitle = {ICALEPCS},\\n\\tauthor = {Ceesay-Seitz, Katharina and Boukabache, Hamza and Leveneur, Marvin and Perrin, Daniel},\\n\\tmonth = oct,\\n\\tyear = {2021},\\n}\\n\\n\",\"author_short\":[\"Ceesay-Seitz, K.\",\"Boukabache, H.\",\"Leveneur, M.\",\"Perrin, D.\"],\"key\":\"kcs-icalepcs-21\",\"id\":\"kcs-icalepcs-21\",\"bibbaseid\":\"ceesayseitz-boukabache-leveneur-perrin-romlibemunetworkinterfacestresstestsforthecernradiationmonitoringelectronicscrome-2021\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.18429/JACoW-ICALEPCS2021-MOBR01\"},\"metadata\":{\"authorlinks\":{\"ceesay-seitz, k\":\"https://comsec.ethz.ch/people/katharina-ceesay-seitz/\"}},\"downloads\":6,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"ROMULUSLib: An Autonomous, TCP/IP-Based, Multi-Architecture C Networking Library for DAQ and Control Applications\",\"url\":\"https://doi.org/10.18429/JACoW-ICALEPCS2021-MOBR01\",\"booktitle\":\"ICALEPCS\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Yadav\"],\"firstnames\":[\"Amitabh\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Boukabache\"],\"firstnames\":[\"Hamza\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Gerber\"],\"firstnames\":[\"Nicola\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Ceesay-Seitz\"],\"firstnames\":[\"Katharina\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Perrin\"],\"firstnames\":[\"Daniel\"],\"suffixes\":[]}],\"month\":\"October\",\"year\":\"2021\",\"bibtex\":\"@inproceedings{ay-icalepcs-21,\\n\\ttitle = {ROMULUSLib: An Autonomous, TCP/IP-Based, Multi-Architecture C Networking Library for DAQ and Control Applications},\\n\\turl = {https://doi.org/10.18429/JACoW-ICALEPCS2021-MOBR01},\\n\\tbooktitle = {ICALEPCS},\\n\\tauthor = {Yadav, Amitabh and Boukabache, Hamza and Gerber, Nicola and Ceesay-Seitz, Katharina and Perrin, Daniel},\\n\\tmonth = oct,\\n\\tyear = {2021},\\n}\\n\\n\",\"author_short\":[\"Yadav, A.\",\"Boukabache, H.\",\"Gerber, N.\",\"Ceesay-Seitz, K.\",\"Perrin, D.\"],\"key\":\"ay-icalepcs-21\",\"id\":\"ay-icalepcs-21\",\"bibbaseid\":\"yadav-boukabache-gerber-ceesayseitz-perrin-romuluslibanautonomoustcpipbasedmultiarchitecturecnetworkinglibraryfordaqandcontrolapplications-2021\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.18429/JACoW-ICALEPCS2021-MOBR01\"},\"metadata\":{\"authorlinks\":{\"ceesay-seitz, k\":\"https://comsec.ethz.ch/people/katharina-ceesay-seitz/\"}},\"downloads\":2,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME)\",\"url\":\"https://link.springer.com/chapter/10.1007/978-3-030-54549-9_5\",\"booktitle\":\"SafeComp\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Ceesay-Seitz\"],\"firstnames\":[\"Katharina\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Boukabache\"],\"firstnames\":[\"Hamza\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Perrin\"],\"firstnames\":[\"Daniel\"],\"suffixes\":[]}],\"month\":\"September\",\"year\":\"2020\",\"bibtex\":\"@inproceedings{kcs-safecomp-20,\\n\\ttitle = {Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME)},\\n\\turl = {https://link.springer.com/chapter/10.1007/978-3-030-54549-9_5},\\n\\tbooktitle = {SafeComp},\\n\\tauthor = {Ceesay-Seitz, Katharina and Boukabache, Hamza and Perrin, Daniel},\\n\\tmonth = sep,\\n\\tyear = {2020},\\n}\\n\\n\",\"author_short\":[\"Ceesay-Seitz, K.\",\"Boukabache, H.\",\"Perrin, D.\"],\"key\":\"kcs-safecomp-20\",\"id\":\"kcs-safecomp-20\",\"bibbaseid\":\"ceesayseitz-boukabache-perrin-safetycriticalfpgadesignsappliedtothecernradiationmonitoringelectronicscrome-2020\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://link.springer.com/chapter/10.1007/978-3-030-54549-9_5\"},\"metadata\":{\"authorlinks\":{\"ceesay-seitz, k\":\"https://comsec.ethz.ch/people/katharina-ceesay-seitz/\"}},\"downloads\":8,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"Semi-formal Reformulation of Requirements for Formal Property Verification\",\"url\":\"https://cds.cern.ch/record/2712787\",\"booktitle\":\"DVCON Europe\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Ceesay-Seitz\"],\"firstnames\":[\"Katharina\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Boukabache\"],\"firstnames\":[\"Hamza\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Perrin\"],\"firstnames\":[\"Daniel\"],\"suffixes\":[]}],\"month\":\"October\",\"year\":\"2019\",\"bibtex\":\"@inproceedings{kcs-dvcon-19,\\n\\ttitle = {Semi-formal Reformulation of Requirements for Formal Property Verification},\\n\\turl = {https://cds.cern.ch/record/2712787},\\n\\tbooktitle = {DVCON Europe},\\n\\tauthor = {Ceesay-Seitz, Katharina and Boukabache, Hamza and Perrin, Daniel},\\n\\tmonth = oct,\\n\\tyear = {2019},\\n}\\n\\n\",\"author_short\":[\"Ceesay-Seitz, K.\",\"Boukabache, H.\",\"Perrin, D.\"],\"key\":\"kcs-dvcon-19\",\"id\":\"kcs-dvcon-19\",\"bibbaseid\":\"ceesayseitz-boukabache-perrin-semiformalreformulationofrequirementsforformalpropertyverification-2019\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://cds.cern.ch/record/2712787\"},\"metadata\":{\"authorlinks\":{\"ceesay-seitz, k\":\"https://comsec.ethz.ch/people/katharina-ceesay-seitz/\"}},\"downloads\":11,\"html\":\"\"}],\n      metadata: {\"owner\":\"ceesay-seitz, k\",\"authorlinks\":{\"ceesay-seitz, k\":\"https://comsec.ethz.ch/people/katharina-ceesay-seitz/\"}},\n      ownerID: \"QzTisGcfyaqAfRejW\"\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=\"bibtex.bib\" href=\"data:text/bibtex;base64,QGlucHJvY2VlZGluZ3N7c29sdF9jYXNjYWRlXzIwMjQsCgl0aXRsZSA9IHt7Q2FzY2FkZTogQ1BVIEZ1enppbmcgdmlhIEludHJpY2F0ZSBQcm9ncmFtIEdlbmVyYXRpb259fSwgCgl1cmwgPSB7UGFwZXI9aHR0cHM6Ly9jb21zZWMuZXRoei5jaC93cC1jb250ZW50L2ZpbGVzL2Nhc2NhZGVfc2VjMjQucGRmIFVSTD1odHRwczovL2NvbXNlYy5ldGh6LmNoL2Nhc2NhZGV9LAoJYm9va3RpdGxlID0ge3tVU0VOSVggU2VjdXJpdHl9fSwKCWF1dGhvciA9IHtTb2x0LCBGbGF2aWVuIGFuZCBDZWVzYXktU2VpdHosIEthdGhhcmluYSBhbmQgUmF6YXZpLCBLYXZlaH0sCgltb250aCA9IGF1ZywKCXllYXIgPSB7MjAyNH0sCglrZXl3b3JkcyA9IHtkaXJcX2Rlc2lnbnNlYywgcHJvalxfbGFzdGJ1ZywgcHJvalxfcHJvbWlzZSwgdHlwZVxfdGllcjF9Cn0KCgoKQGlucHJvY2VlZGluZ3N7a2NzLWR2Y29uLTIxLAoJdGl0bGUgPSB7Rm9ybWFsIFByb3BlcnR5IFZlcmlmaWNhdGlvbiBvZiB0aGUgRGlnaXRhbCBTZWN0aW9uIG9mIGFuIFVsdHJhLUxvdyBDdXJyZW50IERpZ2l0aXplciBBU0lDfSwKCXVybCA9IHtodHRwczovL2R2Y29uLXByb2NlZWRpbmdzLm9yZy9kb2N1bWVudC9mb3JtYWwtcHJvcGVydHktdmVyaWZpY2F0aW9uLW9mLXRoZS1kaWdpdGFsLXNlY3Rpb24tb2YtYW4tdWx0cmEtbG93LWN1cnJlbnQtZGlnaXRpemVyLWFzaWN9LAoJYm9va3RpdGxlID0ge0RWQ09OIEV1cm9wZX0sCglhdXRob3IgPSB7Q2Vlc2F5LVNlaXR6LCBLYXRoYXJpbmEgYW5kIE1vaGFuYW4sIFNhcmF0aCBLdW5kdW1hdHRhdGhpbCBhbmQgQm91a2FiYWNoZSwgSGFtemEgYW5kIFBlcnJpbiwgRGFuaWVsfSwKCW1vbnRoID0gb2N0LAoJeWVhciA9IHsyMDIxfSwKfQoKCgpAaW5wcm9jZWVkaW5nc3trY3MtaWNhbGVwY3MtMjEsCgl0aXRsZSA9IHtSb21MaWJFbXU6IE5ldHdvcmsgSW50ZXJmYWNlIFN0cmVzcyBUZXN0cyBmb3IgdGhlIENFUk4gUmFkaWF0aW9uIE1vbml0b3JpbmcgRWxlY3Ryb25pY3MgKENST01FKX0sCgl1cmwgPSB7aHR0cHM6Ly9kb2kub3JnLzEwLjE4NDI5L0pBQ29XLUlDQUxFUENTMjAyMS1NT0JSMDF9LAoJYm9va3RpdGxlID0ge0lDQUxFUENTfSwKCWF1dGhvciA9IHtDZWVzYXktU2VpdHosIEthdGhhcmluYSBhbmQgQm91a2FiYWNoZSwgSGFtemEgYW5kIExldmVuZXVyLCBNYXJ2aW4gYW5kIFBlcnJpbiwgRGFuaWVsfSwKCW1vbnRoID0gb2N0LAoJeWVhciA9IHsyMDIxfSwKfQoKCgpAaW5wcm9jZWVkaW5nc3theS1pY2FsZXBjcy0yMSwKCXRpdGxlID0ge1JPTVVMVVNMaWI6IEFuIEF1dG9ub21vdXMsIFRDUC9JUC1CYXNlZCwgTXVsdGktQXJjaGl0ZWN0dXJlIEMgTmV0d29ya2luZyBMaWJyYXJ5IGZvciBEQVEgYW5kIENvbnRyb2wgQXBwbGljYXRpb25zfSwKCXVybCA9IHtodHRwczovL2RvaS5vcmcvMTAuMTg0MjkvSkFDb1ctSUNBTEVQQ1MyMDIxLU1PQlIwMX0sCglib29rdGl0bGUgPSB7SUNBTEVQQ1N9LAoJYXV0aG9yID0ge1lhZGF2LCBBbWl0YWJoIGFuZCBCb3VrYWJhY2hlLCBIYW16YSBhbmQgR2VyYmVyLCBOaWNvbGEgYW5kIENlZXNheS1TZWl0eiwgS2F0aGFyaW5hIGFuZCBQZXJyaW4sIERhbmllbH0sCgltb250aCA9IG9jdCwKCXllYXIgPSB7MjAyMX0sCn0KCgoKQGlucHJvY2VlZGluZ3N7a2NzLXNhZmVjb21wLTIwLAoJdGl0bGUgPSB7U2FmZXR5LUNyaXRpY2FsIEZQR0EgRGVzaWduczogQXBwbGllZCB0byB0aGUgQ0VSTiBSYWRpYXRpT24gTW9uaXRvcmluZyBFbGVjdHJvbmljcyAoQ1JPTUUpfSwKCXVybCA9IHtodHRwczovL2xpbmsuc3ByaW5nZXIuY29tL2NoYXB0ZXIvMTAuMTAwNy85NzgtMy0wMzAtNTQ1NDktOV81fSwKCWJvb2t0aXRsZSA9IHtTYWZlQ29tcH0sCglhdXRob3IgPSB7Q2Vlc2F5LVNlaXR6LCBLYXRoYXJpbmEgYW5kIEJvdWthYmFjaGUsIEhhbXphIGFuZCBQZXJyaW4sIERhbmllbH0sCgltb250aCA9IHNlcCwKCXllYXIgPSB7MjAyMH0sCn0KCgoKQGlucHJvY2VlZGluZ3N7a2NzLWR2Y29uLTE5LAoJdGl0bGUgPSB7U2VtaS1mb3JtYWwgUmVmb3JtdWxhdGlvbiBvZiBSZXF1aXJlbWVudHMgZm9yIEZvcm1hbCBQcm9wZXJ0eSBWZXJpZmljYXRpb259LAoJdXJsID0ge2h0dHBzOi8vY2RzLmNlcm4uY2gvcmVjb3JkLzI3MTI3ODd9LAoJYm9va3RpdGxlID0ge0RWQ09OIEV1cm9wZX0sCglhdXRob3IgPSB7Q2Vlc2F5LVNlaXR6LCBLYXRoYXJpbmEgYW5kIEJvdWthYmFjaGUsIEhhbXphIGFuZCBQZXJyaW4sIERhbmllbH0sCgltb250aCA9IG9jdCwKCXllYXIgPSB7MjAxOX0sCn0KCg==\">\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://comsec.ethz.ch/wp-content/files/bibtex.bib\">\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://comsec.ethz.ch/wp-content/files/bibtex.bib\"\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%2Fcomsec.ethz.ch%2Fwp-content%2Ffiles%2Fbibtex.bib&amp;css=none&amp;filter=authors:Ceesay-Seitz&amp;fullnames=1&amp;jsonp=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%2Fcomsec.ethz.ch%2Fwp-content%2Ffiles%2Fbibtex.bib&amp;css=none&amp;filter=authors:Ceesay-Seitz&amp;fullnames=1&amp;jsonp=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%2Fcomsec.ethz.ch%2Fwp-content%2Ffiles%2Fbibtex.bib&amp;css=none&amp;filter=authors:Ceesay-Seitz&amp;fullnames=1&amp;jsonp=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_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=\"solt-ceesayseitz-razavi-cascadecpufuzzingviaintricateprogramgeneration-2024\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://comsec.ethz.ch/wp-content/files/cascade_sec24.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'solt-ceesayseitz-razavi-cascadecpufuzzingviaintricateprogramgeneration-2024', 'https://comsec.ethz.ch/wp-content/files/cascade_sec24.pdf', event);\">\n    Cascade: CPU Fuzzing via Intricate Program Generation.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n   Flavien Solt;  Katharina Ceesay-Seitz;  and  Kaveh Razavi.\n</span>\n\n  \n\n</span>\n\n  In <i>USENIX Security</i>, August 2024. \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  <a href=\"https://comsec.ethz.ch/wp-content/files/cascade_sec24.pdf\"\n     onclick=\"log_download('solt-ceesayseitz-razavi-cascadecpufuzzingviaintricateprogramgeneration-2024', 'https://comsec.ethz.ch/wp-content/files/cascade_sec24.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Cascade: CPU Fuzzing via Intricate Program Generation [pdf]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://comsec.ethz.ch/cascade\"\n     onclick=\"log_download('solt-ceesayseitz-razavi-cascadecpufuzzingviaintricateprogramgeneration-2024', 'https://comsec.ethz.ch/cascade', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Cascade: CPU Fuzzing via Intricate Program Generation [link]\"\n       title=\"URL\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">URL</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/solt-ceesayseitz-razavi-cascadecpufuzzingviaintricateprogramgeneration-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  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>228 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('solt-ceesayseitz-razavi-cascadecpufuzzingviaintricateprogramgeneration-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  \n  \n  \n  \n  \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{solt_cascade_2024,\n\ttitle = {{Cascade: CPU Fuzzing via Intricate Program Generation}}, \n\turl = {Paper=https://comsec.ethz.ch/wp-content/files/cascade_sec24.pdf URL=https://comsec.ethz.ch/cascade},\n\tbooktitle = {{USENIX Security}},\n\tauthor = {Solt, Flavien and Ceesay-Seitz, Katharina and Razavi, Kaveh},\n\tmonth = aug,\n\tyear = {2024},\n\tkeywords = {dir\\_designsec, proj\\_lastbug, proj\\_promise, type\\_tier1}\n}\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_2021\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2021')\"\n      onkeypress=\"toggleGroup('group_2021')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2021</span>\n      <span class=\"bibbase_group_count\">\n        \n        (3)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"ceesayseitz-mohanan-boukabache-perrin-formalpropertyverificationofthedigitalsectionofanultralowcurrentdigitizerasic-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://dvcon-proceedings.org/document/formal-property-verification-of-the-digital-section-of-an-ultra-low-current-digitizer-asic\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'ceesayseitz-mohanan-boukabache-perrin-formalpropertyverificationofthedigitalsectionofanultralowcurrentdigitizerasic-2021', 'https://dvcon-proceedings.org/document/formal-property-verification-of-the-digital-section-of-an-ultra-low-current-digitizer-asic', event);\">\n    Formal Property Verification of the Digital Section of an Ultra-Low Current Digitizer ASIC.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n   Katharina Ceesay-Seitz;  Sarath Kundumattathil Mohanan;  Hamza Boukabache;  and  Daniel Perrin.\n</span>\n\n  \n\n</span>\n\n  In <i>DVCON Europe</i>, October 2021. \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  <a href=\"https://dvcon-proceedings.org/document/formal-property-verification-of-the-digital-section-of-an-ultra-low-current-digitizer-asic\"\n     onclick=\"log_download('ceesayseitz-mohanan-boukabache-perrin-formalpropertyverificationofthedigitalsectionofanultralowcurrentdigitizerasic-2021', 'https://dvcon-proceedings.org/document/formal-property-verification-of-the-digital-section-of-an-ultra-low-current-digitizer-asic', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Formal Property Verification of the Digital Section of an Ultra-Low Current Digitizer ASIC [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/ceesayseitz-mohanan-boukabache-perrin-formalpropertyverificationofthedigitalsectionofanultralowcurrentdigitizerasic-2021\"\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  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>14 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('ceesayseitz-mohanan-boukabache-perrin-formalpropertyverificationofthedigitalsectionofanultralowcurrentdigitizerasic-2021')\" -->\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{kcs-dvcon-21,\n\ttitle = {Formal Property Verification of the Digital Section of an Ultra-Low Current Digitizer ASIC},\n\turl = {https://dvcon-proceedings.org/document/formal-property-verification-of-the-digital-section-of-an-ultra-low-current-digitizer-asic},\n\tbooktitle = {DVCON Europe},\n\tauthor = {Ceesay-Seitz, Katharina and Mohanan, Sarath Kundumattathil and Boukabache, Hamza and Perrin, Daniel},\n\tmonth = oct,\n\tyear = {2021},\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"ceesayseitz-boukabache-leveneur-perrin-romlibemunetworkinterfacestresstestsforthecernradiationmonitoringelectronicscrome-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.18429/JACoW-ICALEPCS2021-MOBR01\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'ceesayseitz-boukabache-leveneur-perrin-romlibemunetworkinterfacestresstestsforthecernradiationmonitoringelectronicscrome-2021', 'https://doi.org/10.18429/JACoW-ICALEPCS2021-MOBR01', event);\">\n    RomLibEmu: Network Interface Stress Tests for the CERN Radiation Monitoring Electronics (CROME).\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n   Katharina Ceesay-Seitz;  Hamza Boukabache;  Marvin Leveneur;  and  Daniel Perrin.\n</span>\n\n  \n\n</span>\n\n  In <i>ICALEPCS</i>, October 2021. \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  <a href=\"https://doi.org/10.18429/JACoW-ICALEPCS2021-MOBR01\"\n     onclick=\"log_download('ceesayseitz-boukabache-leveneur-perrin-romlibemunetworkinterfacestresstestsforthecernradiationmonitoringelectronicscrome-2021', 'https://doi.org/10.18429/JACoW-ICALEPCS2021-MOBR01', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"RomLibEmu: Network Interface Stress Tests for the CERN Radiation Monitoring Electronics (CROME) [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/ceesayseitz-boukabache-leveneur-perrin-romlibemunetworkinterfacestresstestsforthecernradiationmonitoringelectronicscrome-2021\"\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  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>6 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('ceesayseitz-boukabache-leveneur-perrin-romlibemunetworkinterfacestresstestsforthecernradiationmonitoringelectronicscrome-2021')\" -->\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{kcs-icalepcs-21,\n\ttitle = {RomLibEmu: Network Interface Stress Tests for the CERN Radiation Monitoring Electronics (CROME)},\n\turl = {https://doi.org/10.18429/JACoW-ICALEPCS2021-MOBR01},\n\tbooktitle = {ICALEPCS},\n\tauthor = {Ceesay-Seitz, Katharina and Boukabache, Hamza and Leveneur, Marvin and Perrin, Daniel},\n\tmonth = oct,\n\tyear = {2021},\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"yadav-boukabache-gerber-ceesayseitz-perrin-romuluslibanautonomoustcpipbasedmultiarchitecturecnetworkinglibraryfordaqandcontrolapplications-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.18429/JACoW-ICALEPCS2021-MOBR01\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'yadav-boukabache-gerber-ceesayseitz-perrin-romuluslibanautonomoustcpipbasedmultiarchitecturecnetworkinglibraryfordaqandcontrolapplications-2021', 'https://doi.org/10.18429/JACoW-ICALEPCS2021-MOBR01', event);\">\n    ROMULUSLib: An Autonomous, TCP/IP-Based, Multi-Architecture C Networking Library for DAQ and Control Applications.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n   Amitabh Yadav;  Hamza Boukabache;  Nicola Gerber;  Katharina Ceesay-Seitz;  and  Daniel Perrin.\n</span>\n\n  \n\n</span>\n\n  In <i>ICALEPCS</i>, October 2021. \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  <a href=\"https://doi.org/10.18429/JACoW-ICALEPCS2021-MOBR01\"\n     onclick=\"log_download('yadav-boukabache-gerber-ceesayseitz-perrin-romuluslibanautonomoustcpipbasedmultiarchitecturecnetworkinglibraryfordaqandcontrolapplications-2021', 'https://doi.org/10.18429/JACoW-ICALEPCS2021-MOBR01', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"ROMULUSLib: An Autonomous, TCP/IP-Based, Multi-Architecture C Networking Library for DAQ and Control Applications [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/yadav-boukabache-gerber-ceesayseitz-perrin-romuluslibanautonomoustcpipbasedmultiarchitecturecnetworkinglibraryfordaqandcontrolapplications-2021\"\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  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>2 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('yadav-boukabache-gerber-ceesayseitz-perrin-romuluslibanautonomoustcpipbasedmultiarchitecturecnetworkinglibraryfordaqandcontrolapplications-2021')\" -->\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{ay-icalepcs-21,\n\ttitle = {ROMULUSLib: An Autonomous, TCP/IP-Based, Multi-Architecture C Networking Library for DAQ and Control Applications},\n\turl = {https://doi.org/10.18429/JACoW-ICALEPCS2021-MOBR01},\n\tbooktitle = {ICALEPCS},\n\tauthor = {Yadav, Amitabh and Boukabache, Hamza and Gerber, Nicola and Ceesay-Seitz, Katharina and Perrin, Daniel},\n\tmonth = oct,\n\tyear = {2021},\n}\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_2020\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2020')\"\n      onkeypress=\"toggleGroup('group_2020')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2020</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=\"ceesayseitz-boukabache-perrin-safetycriticalfpgadesignsappliedtothecernradiationmonitoringelectronicscrome-2020\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://link.springer.com/chapter/10.1007/978-3-030-54549-9_5\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'ceesayseitz-boukabache-perrin-safetycriticalfpgadesignsappliedtothecernradiationmonitoringelectronicscrome-2020', 'https://link.springer.com/chapter/10.1007/978-3-030-54549-9_5', event);\">\n    Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME).\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n   Katharina Ceesay-Seitz;  Hamza Boukabache;  and  Daniel Perrin.\n</span>\n\n  \n\n</span>\n\n  In <i>SafeComp</i>, September 2020. \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  <a href=\"https://link.springer.com/chapter/10.1007/978-3-030-54549-9_5\"\n     onclick=\"log_download('ceesayseitz-boukabache-perrin-safetycriticalfpgadesignsappliedtothecernradiationmonitoringelectronicscrome-2020', 'https://link.springer.com/chapter/10.1007/978-3-030-54549-9_5', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME) [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/ceesayseitz-boukabache-perrin-safetycriticalfpgadesignsappliedtothecernradiationmonitoringelectronicscrome-2020\"\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  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>8 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('ceesayseitz-boukabache-perrin-safetycriticalfpgadesignsappliedtothecernradiationmonitoringelectronicscrome-2020')\" -->\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{kcs-safecomp-20,\n\ttitle = {Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME)},\n\turl = {https://link.springer.com/chapter/10.1007/978-3-030-54549-9_5},\n\tbooktitle = {SafeComp},\n\tauthor = {Ceesay-Seitz, Katharina and Boukabache, Hamza and Perrin, Daniel},\n\tmonth = sep,\n\tyear = {2020},\n}\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=\"ceesayseitz-boukabache-perrin-semiformalreformulationofrequirementsforformalpropertyverification-2019\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://cds.cern.ch/record/2712787\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'ceesayseitz-boukabache-perrin-semiformalreformulationofrequirementsforformalpropertyverification-2019', 'https://cds.cern.ch/record/2712787', event);\">\n    Semi-formal Reformulation of Requirements for Formal Property Verification.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n   Katharina Ceesay-Seitz;  Hamza Boukabache;  and  Daniel Perrin.\n</span>\n\n  \n\n</span>\n\n  In <i>DVCON Europe</i>, October 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  <a href=\"https://cds.cern.ch/record/2712787\"\n     onclick=\"log_download('ceesayseitz-boukabache-perrin-semiformalreformulationofrequirementsforformalpropertyverification-2019', 'https://cds.cern.ch/record/2712787', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Semi-formal Reformulation of Requirements for Formal Property Verification [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/ceesayseitz-boukabache-perrin-semiformalreformulationofrequirementsforformalpropertyverification-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  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>11 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('ceesayseitz-boukabache-perrin-semiformalreformulationofrequirementsforformalpropertyverification-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;\">@inproceedings{kcs-dvcon-19,\n\ttitle = {Semi-formal Reformulation of Requirements for Formal Property Verification},\n\turl = {https://cds.cern.ch/record/2712787},\n\tbooktitle = {DVCON Europe},\n\tauthor = {Ceesay-Seitz, Katharina and Boukabache, Hamza and Perrin, Daniel},\n\tmonth = oct,\n\tyear = {2019},\n}\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);