{"id":647265,"date":"2020-05-15T05:46:55","date_gmt":"2020-05-15T12:46:55","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-project&#038;p=647265"},"modified":"2023-06-30T09:56:56","modified_gmt":"2023-06-30T16:56:56","slug":"project-verona","status":"publish","type":"msr-project","link":"https:\/\/www.microsoft.com\/en-us\/research\/project\/project-verona\/","title":{"rendered":"Project Verona"},"content":{"rendered":"<section class=\"mb-3 moray-highlight\">\n\t<div class=\"card-img-overlay mx-lg-0\">\n\t\t<div class=\"card-background  has-background- card-background--full-bleed\">\n\t\t\t<img loading=\"lazy\" decoding=\"async\" width=\"1920\" height=\"720\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2020\/05\/Verona.jpg\" class=\"attachment-full size-full\" alt=\"Image of Verona, Italy\" style=\"\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2020\/05\/Verona.jpg 1920w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2020\/05\/Verona-300x113.jpg 300w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2020\/05\/Verona-1024x384.jpg 1024w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2020\/05\/Verona-768x288.jpg 768w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2020\/05\/Verona-1536x576.jpg 1536w, https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2020\/05\/Verona-1600x600.jpg 1600w\" sizes=\"(max-width: 1920px) 100vw, 1920px\" \/>\t\t<\/div>\n\t\t<!-- Foreground -->\n\t\t<div class=\"card-foreground d-flex mt-md-n5 my-lg-5 px-g px-lg-0\">\n\t\t\t<!-- Container -->\n\t\t\t<div class=\"container d-flex mt-md-n5 my-lg-5 \">\n\t\t\t\t<!-- Card wrapper -->\n\t\t\t\t<div class=\"w-100 w-lg-col-5\">\n\t\t\t\t\t<!-- Card -->\n\t\t\t\t\t<div class=\"card material-md-card py-5 px-md-5\">\n\t\t\t\t\t\t<div class=\"card-body \">\n\t\t\t\t\t\t\t\n\t\t\t\t\t\t\t\n\n<h1 class=\"wp-block-heading h2\" id=\"project-verona\">Project Verona<\/h1>\n\n\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/div>\n<\/section>\n\n\n\n\n\n<h2 class=\"wp-block-heading\" id=\"project-verona-a-programming-language-for-the-modern-cloud\">Project Verona: a programming language for the modern cloud<\/h2>\n\n\n\n<p>Adoption of the cloud requires trust, but software vulnerabilities can quickly erode that trust. There is a real drive in the industry to make memory safety vulnerabilities a thing of the past. Project Verona is a highly ambitious research project to make that a reality for the infrastructure we build for the cloud. The research combines world-class research on compilers, programming language semantics and type systems to the design of Project Verona. We aim to provide the secure foundations we need for trusting the cloud.<\/p>\n\n\n\n<p>Project Verona is a research project being run by Microsoft Research in collaboration with Imperial College London and Uppsala University. We are exploring research around language and runtime design for safe scalable memory management and compartmentalisation.\u202fThe core research questions, we hope to address are:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>If we design a language without concurrent mutation, can we build scalable memory management?<\/li>\n\n\n\n<li>Can linear regions be used to remove the restrictions of per-object linearity without sacrificing memory management?<\/li>\n\n\n\n<li>Can language level regions be used to support compartmentalisations?<\/li>\n<\/ul>\n\n\n\n<div class=\"wp-block-buttons is-layout-flex wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button is-style-fill-github\"><a data-bi-type=\"button\" class=\"wp-block-button__link wp-element-button\" href=\"https:\/\/github.com\/microsoft\/verona\">Find more on GitHub<\/a><\/div>\n<\/div>\n\n\n\n\n\n<p class=\"has-text-align-center\">Watch Digital Security by Design: Security and Legacy at Microsoft<\/p>\n\n\n\n<figure class=\"wp-block-embed is-type-video is-provider-vimeo wp-block-embed-vimeo wp-embed-aspect-16-9 wp-has-aspect-ratio\"><div class=\"wp-block-embed__wrapper\">\n<iframe loading=\"lazy\" title=\"Digital Security by Design: Security and Legacy at Microsoft - Matthew Parkinson, Microsoft\" src=\"https:\/\/player.vimeo.com\/video\/376180843?dnt=1&app_id=122963\" width=\"500\" height=\"281\" frameborder=\"0\" allow=\"autoplay; fullscreen; picture-in-picture; clipboard-write\"><\/iframe>\n<\/div><\/figure>\n\n\n\n<p class=\"has-text-align-center\"><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/www.slideshare.net\/KTNUK\/digital-security-by-design-security-and-legacy-at-microsoft-matthew-parkinson-microsoft\" target=\"_blank\" rel=\"noreferrer noopener\">View the slides<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n\n\n","protected":false},"excerpt":{"rendered":"<p>Adoption of the cloud requires trust, but software vulnerabilities can quickly erode that trust. There is a real drive in the industry to make memory safety vulnerabilities a thing of the past. Project Verona is a highly ambitious research project to make that a reality for the infrastructure we build for the cloud. The research [&hellip;]<\/p>\n","protected":false},"featured_media":658170,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","footnotes":""},"research-area":[13558],"msr-locale":[268875],"msr-impact-theme":[],"msr-pillar":[],"class_list":["post-647265","msr-project","type-msr-project","status-publish","has-post-thumbnail","hentry","msr-research-area-security-privacy-cryptography","msr-locale-en_us","msr-archive-status-active"],"msr_project_start":"","related-publications":[937314,977088,977097,1025283,1039842,1039857],"related-downloads":[],"related-videos":[],"related-groups":[],"related-events":[],"related-opportunities":[],"related-posts":[],"related-articles":[],"tab-content":[{"id":0,"name":"Talks & workshops","content":"[row][column class=\"l-col-16-24 center\"]\r\n<p style=\"text-align: center\">Watch Digital Security by Design: Security and Legacy at Microsoft<\/p>\r\n[embed]https:\/\/vimeo.com\/376180843[\/embed]\r\n<p style=\"text-align: center\"><a href=\"https:\/\/www.slideshare.net\/KTNUK\/digital-security-by-design-security-and-legacy-at-microsoft-matthew-parkinson-microsoft\">View the slides<\/a><\/p>\r\n[\/column][\/row]"}],"slides":[],"related-researchers":[{"type":"user_nicename","display_name":"Sylvan Clebsch","user_id":36368,"people_section":"Microsoft Team","alias":"syclebsc"},{"type":"user_nicename","display_name":"Matthew Johnson","user_id":32830,"people_section":"Microsoft Team","alias":"matjoh"},{"type":"user_nicename","display_name":"Matthew Parkinson","user_id":32838,"people_section":"Microsoft Team","alias":"mattpark"},{"type":"guest","display_name":"Ellen Arvidsson","user_id":953067,"people_section":"Academic Team","alias":""},{"type":"guest","display_name":"Elias Castegren","user_id":953061,"people_section":"Academic Team","alias":""},{"type":"guest","display_name":"Luke Cheeseman","user_id":953064,"people_section":"Academic Team","alias":""},{"type":"guest","display_name":"Sophia Drossopoulou","user_id":647922,"people_section":"Academic Team","alias":""},{"type":"guest","display_name":"Marios Kogias","user_id":691242,"people_section":"Academic Team","alias":""},{"type":"guest","display_name":"James  Noble","user_id":953070,"people_section":"Academic Team","alias":""},{"type":"guest","display_name":"Tobias Wrigstad","user_id":953052,"people_section":"Academic Team","alias":""},{"type":"guest","display_name":"Theo Butler","user_id":648165,"people_section":"Previous Interns","alias":""},{"type":"guest","display_name":"Paul Li\u00e9tar","user_id":953094,"people_section":"Previous Interns","alias":""},{"type":"guest","display_name":"Albert  Mingkun Yang","user_id":647844,"people_section":"Previous Interns","alias":""},{"type":"guest","display_name":"Ming-Ho  Yee","user_id":648156,"people_section":"Previous Interns","alias":""},{"type":"guest","display_name":"Renato Golin","user_id":761287,"people_section":"Alumni","alias":""},{"type":"guest","display_name":"Juliana Vicente Franco","user_id":543537,"people_section":"Alumni","alias":""}],"msr_research_lab":[],"msr_impact_theme":[],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-project\/647265"}],"collection":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-project"}],"about":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-project"}],"version-history":[{"count":23,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-project\/647265\/revisions"}],"predecessor-version":[{"id":953130,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-project\/647265\/revisions\/953130"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media\/658170"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=647265"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=647265"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=647265"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=647265"},{"taxonomy":"msr-pillar","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-pillar?post=647265"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}