{"id":51999,"date":"2023-09-25T11:31:00","date_gmt":"2023-09-25T09:31:00","guid":{"rendered":"https:\/\/www.um.edu.mt\/projects\/behapi\/?p=51999"},"modified":"2024-04-23T13:36:57","modified_gmt":"2024-04-23T11:36:57","slug":"inncyber-2023","status":"publish","type":"post","link":"https:\/\/www.um.edu.mt\/projects\/behapi\/inncyber-2023\/","title":{"rendered":"INNCYBER 2023"},"content":{"rendered":"\n<p>Antonio Ravara from Universidade NOVA de Lisboa and Mario Bravetti from University of Bologona, in collaboration with Caixa M\u00e1gica<a href=\"https:\/\/caixamagica.pt\/\"> <\/a>Software, presented their tool JaTyC at INNCYBER 2023.<\/p>\n\n\n\n<p>JaTyC statically verifies that when a Java program runs: sequences of method calls obey to object&#8217;s protocols; objects&#8217; protocols are completed; null-pointer exceptions are not raised; subclasses&#8217; instances respect the protocol of their superclasses.<\/p>\n\n\n\n<p>With this, JaTyC is able to avoid some crashes before the code is executed. This is crucial for cybersecurity, since crashes may give unintended access to a machine. For example, in some places, it is a common occurrence that ATMs show the operating system\u2019s desktop interface if the bank\u2019s application crashes. Another application to cybersecurity is to analyze systems where security clearance levels are needed in order to execute operations: this can be enforced in JaTyC by e.g. requiring that each operation\u2019s execution is preceded by the successful verification of the operation\u2019s security clearance.<\/p>\n\n\n\n<p>The INNCYBER cybersecurity research projects competition in Portugal awarded JaTyC the 3rd place in the 2023 edition (<a href=\"https:\/\/www.inncyberinnovationhub.com\/cybersummit\" target=\"_blank\" rel=\"noreferrer noopener\">https:\/\/www.inncyberinnovationhub.com\/cybersummit<\/a>).<\/p>\n\n\n\n<div data-wp-interactive=\"core\/file\" class=\"wp-block-file\"><object data-wp-bind--hidden=\"!state.hasPdfPreview\"  class=\"wp-block-file__embed\" data=\"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2024\/04\/INN42005_JavaTypestateChecker.pdf\" type=\"application\/pdf\" style=\"width:100%;height:600px\" aria-label=\"Embed of INN42005_JavaTypestateChecker.\"><\/object><a id=\"wp-block-file--media-5e6a46df-dd56-4b85-899a-2dabb5fcadb1\" href=\"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2024\/04\/INN42005_JavaTypestateChecker.pdf\">INN42005_JavaTypestateChecker<\/a><a href=\"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-content\/uploads\/2024\/04\/INN42005_JavaTypestateChecker.pdf\" class=\"wp-block-file__button wp-element-button\" download aria-describedby=\"wp-block-file--media-5e6a46df-dd56-4b85-899a-2dabb5fcadb1\">Download<\/a><\/div>\n","protected":false},"excerpt":{"rendered":"<p>Antonio Ravara from Universidade NOVA de Lisboa and Mario Bravetti from University of Bologona, in collaboration with Caixa M\u00e1gica Software, presented their tool JaTyC at INNCYBER 2023. JaTyC statically verifies<\/p>\n<div class=\"read-more\"><a class=\"btn read-more-link\" href=\"https:\/\/www.um.edu.mt\/projects\/behapi\/inncyber-2023\/\">Read More<\/a><\/div>\n","protected":false},"author":1,"featured_media":52000,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[36],"tags":[],"acf":[],"_links":{"self":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts\/51999"}],"collection":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/comments?post=51999"}],"version-history":[{"count":3,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts\/51999\/revisions"}],"predecessor-version":[{"id":52087,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts\/51999\/revisions\/52087"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/media\/52000"}],"wp:attachment":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/media?parent=51999"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/categories?post=51999"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/tags?post=51999"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}