About IVA
- About IVA
  
  IVA Fellows
  
  Divisions of the Academy
  
  Business Executives Council
  
  Student Council
  
  International Affairs
  
  Governance and management
  
  Meet IVA's President
  
  IVA’s history
  
  An independent academy that builds bridges between science, business and politics
  
  The Royal Swedish Academy of Engineering Sciences (IVA) is an independent academy with a mission “...to promote engineering and economic sciences and the advancement of business and industry for the benefit of society.” We bring together leading engineers, economists, researchers, entrepreneurs and leaders in business and the public sector, who contribute generously to IVA’s operations through their intellectual capital and their engagement.
What IVA does
- What IVA does
  
  Events
  
  Focus Areas
  
  Projects and programmes
  
  Reports
  
  Distinctions
  
  A meeting place for Sweden's future
  
  IVA believes in humanity’s capacity to contribute positively to society through the engineering and economic sciences. We run a number of projects and programmes, produce reports, knowledge bases and policy proposals, and organise open seminars and meetings nationwide. We also recognise and encourage the efforts of others by awarding distinctions and grants.
Swedish Futures
- Swedish Futures
  
  Essays
  
  Global Outlook
  
  In-depth Studies
  
  Vision Reports
  
  Visualization
  
  Funding Providers
  
  A vision for Sweden as a country of technology and innovation by 2035
  
  IVA has initiated the vision project Swedish Futures with the aim of developing an overarching vision for Sweden as a a world-leading country of technology and innovation by 2035, with a focus on competitiveness, sustainability, and security.
Current events

Symmaries

Making critical cyber-infrastructures secure.

IVAs 100-lista 2021

Year:

2021

Category:

Infrastructure

University:

Linnaeus University

Responsible Researcher:

Narges Khakpour, Nicolas Berthier

Visit Project Website

A tool to formally verify the security of software and protect digital assets and infrastructures of national interest. Our society and our daily lives depend more and more on critical cyber-infrastructures and an attack on them can quickly lead to a national or global crisis situation. Cyberattacks often occur due to security weaknesses in software applications.

We developed Symmaries, a software tool to analyze the security of a software application, detect its security weaknesses and provide suggestions to fix them. Symmaries offers the highest-level of assurance according to the ISO/IEC 15408 standard.

IVA’s 100 List 2021 - Sustainable crisis preparedness

IVA’s 100 List 2021 highlights a diverse range of research projects from Swedish universities, under the theme Sustainable crisis preparedness. The projects have been selected based on their great potential to create value through commercialization, business and method development, or societal impact. All participating researchers are interested in increased contacts with the business sector for the application and further development of their projects.

Named contact persons for each research project on the 100 List are responsible for the accuracy of the information presented.