{"id":797,"date":"2026-02-12T11:52:55","date_gmt":"2026-02-12T10:52:55","guid":{"rendered":"https:\/\/rapport-scientifique-2025-list.cea.fr\/cybersecurity-and-trustworthy-digital-technology\/"},"modified":"2026-03-30T16:59:32","modified_gmt":"2026-03-30T14:59:32","slug":"cybersecurity-and-trustworthy-digital-technology","status":"publish","type":"page","link":"https:\/\/rapport-scientifique-2025-list.cea.fr\/en\/cybersecurity-and-trustworthy-digital-technology\/","title":{"rendered":"Cybersecurity and trustworthy digital technology"},"content":{"rendered":"\n
\n
\n
\n
\n
\n
\"\"<\/figure>\n<\/div>\n<\/div>\n\n\n\n
\n

Cybersecurity andtrustworthy digital technology<\/h1>\n\n\n\n

Software is everywhere, and it is becoming increasingly complex. This, and advances in quantum computing, are driving growing demand for new cybersecurity solutions. Building reliable systems capable of detecting and prioritizing vulnerabilities and developing cryptographic countermeasures will require approaches that span theory and operational realities.<\/h2>\n<\/div>\n<\/div>\n\n\n
<\/div>\n
\n

Amid the increasing complexity of today\u2019s software, guaranteeing trust in an application\u2019s ability to withstand attacks presents some major challenges. Formal-methods-based static analysis can mathematically verify the absence of entire classes of vulnerabilities\u2014like buffer overflows\u2014commonly exploited by attackers. In traditional approaches, a full analysis must be completed every time the code is modified\u2014a requirement that is incompatible with continuous integration workflows. More recent formal static analysis methods are better aligned with the agile development of critical systems. By reusing previous results, these incremental analysis methods drastically reduce analysis times without sacrificing the necessary mathematical guarantees. The problem is that the automated detection of vulnerabilities now far outpaces our ability to correct them. The Linux kernel, due to its size, complexity, and the amount of code it contains, is associated with thousands of vulnerabilities in CVE databases each year. Given the sheer number of vulnerabilities, it is impossible to know which ones should be given priority. And Linux is far from an isolated case. The answer lies in vulnerability exploitability assessment, which looks at the likelihood that an attacker can effectively take advantage of a vulnerability. New techniques can be used to analyze the exploitable values of different parameters, enabling the automated classification of truly critical vulnerabilities, validated on real CVEs. Finally, advances in quantum computing are raising pressing questions about today\u2019s encryption methods. The risk of attackers collecting encrypted data today and cracking it tomorrow with quantum computers is very real. Post-quantum cryptography and fully-homomorphic encryption offer future-proof protection, made practical by hardware acceleration, with performance gains of up to 94% to 96%.<\/p>\n<\/div>\n\n\n\n

\n
\"\"
\u00a9 AdobeStock \/ Olena Panasovska<\/figcaption><\/figure>\n<\/div>\n<\/div>\n<\/section>\n<\/div>\n","protected":false},"excerpt":{"rendered":"

Cybersecurity andtrustworthy digital technology Software is everywhere, and it is becoming increasingly complex. This, and advances in quantum computing, are driving growing demand for new cybersecurity solutions. Building reliable systems capable of detecting and prioritizing vulnerabilities and developing cryptographic countermeasures will require approaches that span theory and operational realities. Amid the increasing complexity of today\u2019s […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"page-introduction","meta":{"_acf_changed":false,"cea_page_bg":"primary","cea_page_bg_custom":"#244890","cea_page_gabarit":"gabarit1","footnotes":""},"class_list":["post-797","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/rapport-scientifique-2025-list.cea.fr\/en\/wp-json\/wp\/v2\/pages\/797","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/rapport-scientifique-2025-list.cea.fr\/en\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/rapport-scientifique-2025-list.cea.fr\/en\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/rapport-scientifique-2025-list.cea.fr\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/rapport-scientifique-2025-list.cea.fr\/en\/wp-json\/wp\/v2\/comments?post=797"}],"version-history":[{"count":6,"href":"https:\/\/rapport-scientifique-2025-list.cea.fr\/en\/wp-json\/wp\/v2\/pages\/797\/revisions"}],"predecessor-version":[{"id":823,"href":"https:\/\/rapport-scientifique-2025-list.cea.fr\/en\/wp-json\/wp\/v2\/pages\/797\/revisions\/823"}],"wp:attachment":[{"href":"https:\/\/rapport-scientifique-2025-list.cea.fr\/en\/wp-json\/wp\/v2\/media?parent=797"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}