{"id":2768,"date":"2021-02-19T12:36:33","date_gmt":"2021-02-19T12:36:33","guid":{"rendered":"http:\/\/blogs.kent.ac.uk\/unikentcomp-news\/?p=2768"},"modified":"2021-02-19T12:36:33","modified_gmt":"2021-02-19T12:36:33","slug":"new-project-to-research-safe-and-secure-software-systems","status":"publish","type":"post","link":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/2021\/02\/19\/new-project-to-research-safe-and-secure-software-systems\/","title":{"rendered":"New project to research Safe and Secure Software Systems"},"content":{"rendered":"<p><a href=\"https:\/\/www.kent.ac.uk\/computing\/people\/3056\/www.kent.ac.uk\/computing\/people\/3056\/arief-budi\">Dr Budi Arief<\/a>, Senior Lecturer at the\u00a0<a href=\"https:\/\/www.kent.ac.uk\/computing\">School of Computing\u00a0<\/a>and member of the\u00a0<a href=\"cyber.kent.ac.uk\">Kent Interdisciplinary Research Centre in\u00a0Cyber Security (KirCSC)<\/a>, is collaborating with PhD student Tom Seed and Emeritus Professor Andy King, on a new project\u00a0titled \u201cSymbolic Computation for Mainstream Verification\u201d.<\/p>\n<p>The project is funded by\u00a0the\u00a0<a href=\"https:\/\/www.ncsc.gov.uk\/\">National Cyber Security Centre (NCSC)<\/a>, via the <a href=\"https:\/\/vetss.org.uk\/\">Research Institute\u00a0in Verified Trustworthy Software Systems (VeTSS)<\/a> &#8211; \u00a0a UK Academic Research Institute in Cyber\u00a0Security\u00a0at Imperial College London, funded by the <a href=\"https:\/\/epsrc.ukri.org\/\">Engineering and Physical Sciences Research Council (EPSRC)<\/a>. VeTSS supports world-class academics and industrialists to develop novel techniques for keeping software systems safe and stable.<\/p>\n<p>The project will run for one year from April 2021 to March 2022 and aims to develop advanced SMT (Satisfiability Modulo Theory) solvers, which are used to verify and test the vulnerability of software.<\/p>\n<p>Andy said: \u201cThis research is particularly timely since we are now seeing a new class of SMT solvers emerge, that apply\u00a0powerful algebraic reasoning in the theory component of SMT solvers. The focus of this work has been to adapt classical\u00a0algebraic algorithms to the new setting of SMT, typically by adding incrementality or learning. This will ensure software correctness, which in turn will improve security.&#8221;<\/p>\n<p>Budi said: \u201dAs software continues to play a bigger role in our\u00a0society, it is imperative to ensure its security and\u00a0trustworthiness, hence the interest in verification. We are really pleased we have been given funding for this project. It is a particularly significant achievement\u00a0since the acceptance rate for VeTSS has been around 25% in the previous 4 years of calls. Furthermore, this project demonstrates the continued collaboration between the <a href=\"https:\/\/research.kent.ac.uk\/cyber-security-group\/\">Cyber Security<\/a> and the <a href=\"https:\/\/research.kent.ac.uk\/programming-languages-systems\/\">Programming Languages and Systems<\/a> research groups at Kent.\u201d<\/p>\n<p>For further information on the project or for updates, please\u00a0contact\u00a0<a href=\"https:\/\/www.kent.ac.uk\/computing\/people\/3056\/arief-budi\">Dr Budi Arief<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Dr Budi Arief, Senior Lecturer at the\u00a0School of Computing\u00a0and member of the\u00a0Kent Interdisciplinary Research Centre in\u00a0Cyber Security (KirCSC), is collaborating with PhD student Tom Seed &hellip; <a href=\"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/2021\/02\/19\/new-project-to-research-safe-and-secure-software-systems\/\">Read&nbsp;more<\/a><\/p>\n","protected":false},"author":55813,"featured_media":2769,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[124,70,122],"tags":[],"_links":{"self":[{"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/posts\/2768"}],"collection":[{"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/users\/55813"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/comments?post=2768"}],"version-history":[{"count":1,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/posts\/2768\/revisions"}],"predecessor-version":[{"id":2770,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/posts\/2768\/revisions\/2770"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/media\/2769"}],"wp:attachment":[{"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/media?parent=2768"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/categories?post=2768"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/tags?post=2768"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}