{"_id":"SQqPAxKC6kSiF4xS7","bibbaseid":"garn-wrfl-simos-kerisacttoolofthelinuxkernelwithdynamicmemoryanalysiscapabilities-2017","downloads":4,"creationDate":"2018-03-30T17:31:04.916Z","title":"KERIS: A CT Tool of the Linux Kernel with Dynamic Memory Analysis Capabilities","author_short":["Garn, B.","Würfl, F.","Simos, D. E."],"year":2017,"bibtype":"inproceedings","biburl":"http://dblp.org/pid/30/520.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Bernhard"],"propositions":[],"lastnames":["Garn"],"suffixes":[]},{"firstnames":["Fabian"],"propositions":[],"lastnames":["Würfl"],"suffixes":[]},{"firstnames":["Dimitris","E."],"propositions":[],"lastnames":["Simos"],"suffixes":[]}],"editor":[{"firstnames":["Ofer"],"propositions":[],"lastnames":["Strichman"],"suffixes":[]},{"firstnames":["Rachel"],"propositions":[],"lastnames":["Tzoref-Brill"],"suffixes":[]}],"title":"KERIS: A CT Tool of the Linux Kernel with Dynamic Memory Analysis Capabilities","booktitle":"Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings","series":"Lecture Notes in Computer Science","volume":"10629","pages":"225–228","publisher":"Springer","year":"2017","url":"https://doi.org/10.1007/978-3-319-70389-3_17","doi":"10.1007/978-3-319-70389-3_17","timestamp":"Sat, 19 Oct 2019 20:27:11 +0200","biburl":"https://dblp.org/rec/conf/hvc/GarnWS17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/hvc/GarnWS17,\n author = {Bernhard Garn and\n Fabian W{\\\"{u}}rfl and\n Dimitris E. Simos},\n editor = {Ofer Strichman and\n Rachel Tzoref{-}Brill},\n title = {{KERIS:} {A} {CT} Tool of the Linux Kernel with Dynamic Memory Analysis\n Capabilities},\n booktitle = {Hardware and Software: Verification and Testing - 13th International\n Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November\n 13-15, 2017, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {10629},\n pages = {225--228},\n publisher = {Springer},\n year = {2017},\n url = {https://doi.org/10.1007/978-3-319-70389-3\\_17},\n doi = {10.1007/978-3-319-70389-3\\_17},\n timestamp = {Sat, 19 Oct 2019 20:27:11 +0200},\n biburl = {https://dblp.org/rec/conf/hvc/GarnWS17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Garn, B.","Würfl, F.","Simos, D. E."],"editor_short":["Strichman, O.","Tzoref-Brill, R."],"key":"DBLP:conf/hvc/GarnWS17","id":"DBLP:conf/hvc/GarnWS17","bibbaseid":"garn-wrfl-simos-kerisacttoolofthelinuxkernelwithdynamicmemoryanalysiscapabilities-2017","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-70389-3_17"},"metadata":{"authorlinks":{"simos, d":"https://matris.sba-research.org/"}}},"search_terms":["keris","tool","linux","kernel","dynamic","memory","analysis","capabilities","garn","würfl","simos"],"keywords":[],"authorIDs":["4BfrwP2mkbopZbjyr","5de185adfa4659df01000036","5de9fd73fac96fde01000053","5df4d856fc47dbde01000014","5dff4644ddf837de01000001","5e00ac5f05b03cf3010000af","5e149b45830852de0100007b","5e189ab1779abfdf01000135","5e24f62e2e79a1f20100000c","5e2584e1d31494de01000032","5e2de25b133023de01000049","5e322ad67b9658f20100004b","5e32e4d3150c84df01000129","5e3624d91727e7df010000a7","5e424321ac099bde010000ec","5e4a2b4fd2dbc8de010000eb","5e5f451a9771b7de01000120","5e8dTZYJnfsweNWzM","EiZ3HSwmn3NfNwLXm","GWPR8CcmEZ628sswG","Jc7cZAq2YR533dJh4","Jsnm2k7maoW2qR833","Mvr9LNWHf8ufvfjKX","PSPWcr7efqNPuTGE6","SeMbgBvr9FFvzhoHT","YeuXqTzPoS7asuago","Z3i3sGz9uZBBNw65z","ZLTTf6XXir87uwHMC","euyXLmJf2esXvikzR","fQFup92ipGJfQFckx","m2acevyhRjniC6xAM","ph3wvM6ymTYDXuJb8","ppuJW56Dc8sy2nYsz","qYLpTbaaay2DgwWox","rH66cnaSYH7d5Xjw8","ufRde53oqMbYHkd6h","yL5nFamJ6KBPbLJjT","yuX6igTTbKQ68d4mr"],"dataSources":["Deq6RvrSBaqdFeYqZ","mhXPWwAjjt8hcQKjs","dRwocXjGguzaqHvum"]}