{"id":"https://openalex.org/G7011282011","display_name":"Understanding malware semantics by AI-supported formal methods","description":"\u4eba\u9593\u306b\u306f\u89e3\u91c8\u56f0\u96e3\u306a\u30d0\u30a4\u30ca\u30ea\u30b3\u30fc\u30c9\u306b\u5bfe\u3057(1)\u64cd\u4f5c\u7684\u610f\u5473\u306f\u30ec\u30b8\u30b9\u30bf\u30fb\u30d5\u30e9\u30c3\u30b0\u30fb\u30e1\u30e2\u30ea\u30fb\u30b9\u30bf\u30c3\u30af\u4e0a\u306e\u72b6\u614b\u9077\u79fb\u7cfb\u3068\u3057\u3066\u5b9a\u7fa9\u53ef\u80fd\u3001(2)\u5404\u547d\u4ee4\u4ed5\u69d8\u306f\u30ea\u30b8\u30c3\u30c9\u306a\u81ea\u7136\u8a00\u8a9e\u8a18\u8ff0\u3001(3)\u30a8\u30df\u30e5\u30ec\u30fc\u30bf\u7b49\u30c6\u30b9\u30c8\u74b0\u5883\u304c\u5b8c\u5099\u306a\u3069\u306e\u89b3\u5bdf\u306b\u7acb\u811a\u3057\u3001\u82f1\u6587\u30de\u30cb\u30e5\u30a2\u30eb\u304b\u3089\u547d\u4ee4\u306e\u64cd\u4f5c\u7684\u610f\u5473\u81ea\u52d5\u62bd\u51fa\u306b\u3088\u308aBE-PUM(x86), Corana(ARM), SiMIPS(MIPS)\u7b49\u306e\u30c4\u30fc\u30eb\u3092GitHub\u3067\u516c\u958b\u3057\u3066\u304d\u305f\u3002\u672c\u7814\u7a76\u306f\u3001\u591a\u6570\u306eMPU/MCU\u306e\u52d5\u7684\u8a18\u53f7\u5b9f\u884c\u5668\u306e\u81ea\u52d5\u751f\u6210\u306b\u52a0\u3048\u3001\u69cb\u9020\u96a0\u853d\u524d\u306e\u30da\u30a4\u30ed\u30fc\u30c9\u306e\u81ea\u52d5\u5fa9\u5143\u30fb\u62bd\u51fa\u3092\u884c\u3044\u3001\u6559\u5e2b\u7121\u3057\u5b66\u7fd2\u306b\u3088\u308b\u7279\u5fb4\u62bd\u51fa\u3001\u81ea\u7136\u8a00\u8a9e\u51e6\u7406\u3092\u7528\u3044\u305f\u610f\u5473\u89e3\u91c8\u3092\u901a\u3058\u305f\u65b0\u898f\u611f\u67d3\u624b\u6cd5\u691c\u51fa\u30fb\u7cfb\u7d71\u6a39\u751f\u6210\u3092\u76ee\u7684\u3068\u3059\u308b\u3002","funder_award_id":"20K20625","funder":{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","doi":"10.13039/501100001691"},"funded_outputs":["https://openalex.org/W3112584456","https://openalex.org/W3167316958","https://openalex.org/W3180848643","https://openalex.org/W3196047368","https://openalex.org/W3197360182","https://openalex.org/W4207027022","https://openalex.org/W4225384127","https://openalex.org/W4285199256","https://openalex.org/W4287634532","https://openalex.org/W4292075481","https://openalex.org/W4294640536","https://openalex.org/W4313257365","https://openalex.org/W4315630611","https://openalex.org/W4367555575","https://openalex.org/W4379534108","https://openalex.org/W4384648247","https://openalex.org/W4390605075","https://openalex.org/W4403536768","https://openalex.org/W4409922640","https://openalex.org/W4414747568","https://openalex.org/W7110217308"],"funded_outputs_count":21,"parent_awards":[],"sub_awards":[],"sub_awards_count":0,"amount":25870000.0,"currency":"JPY","amount_usd":245825.71,"amount_usd_basis":"daily_rate","recipients":[],"recipient_countries":[],"recipient_regions":[],"research_scope":{"is_research":true,"basis":"funder_default","tier":1},"funding_type":"research","funder_scheme":"Grant-in-Aid for Challenging Research (Pioneering)","start_date":"2020-07-30","end_date":"2026-03-31","start_year":2020,"end_year":2026,"landing_page_url":"https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-20K20625/","doi":null,"provenance":"kaken","lead_investigator":{"given_name":"\u745e\u53f2","family_name":"\u5c0f\u5ddd","orcid":null,"role_start":null,"affiliation":{"name":"Japan Advanced Institute of Science and Technology","country":"Japan","ids":[{"id":"https://nrid.nii.ac.jp/nrid/1000040362024","type":"nrid","asserted_by":"kaken"}]}},"co_lead_investigator":null,"investigators":null,"works_api_url":"https://api.openalex.org/works?filter=awards.id:G7011282011","primary_topic":null,"topics":null,"institution_awarded":[{"id":"https://openalex.org/I177738480","display_name":"Japan Advanced Institute of Science and Technology","ror":"https://ror.org/03frj4r98","country_code":"JP","type":"education","lineage":["https://openalex.org/I177738480"]}],"updated_date":"2026-10-16T03:01:01.000Z","created_date":"2026-07-13T04:17:19.000Z"}