{"id":704,"date":"2023-06-26T17:05:56","date_gmt":"2023-06-26T17:05:56","guid":{"rendered":"https:\/\/website.prod.unilu.spikeseed.cloud\/snt-en\/?post_type=research-groups&#038;p=704"},"modified":"2026-03-17T13:11:52","modified_gmt":"2026-03-17T12:11:52","slug":"research","status":"publish","type":"research-groups","link":"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/research\/","title":{"rendered":"Research"},"content":{"rendered":"<div class=\"section py-0 static\">\n<section class=\"py-0 wp-block-unilux-blocks-free-section section\"><div class=\"container xl:max-w-screen-xl\"><!-- SecondaryNavigationMirror --><div class=\"js-secondary-nav--sticky wp-block-unilux-blocks-secondary-navigation\" id=\"051fa0b4-3808-46c4-a404-d87c7983cef8\">\n    <nav id=\"secondary-navigation\" role=\"navigation\" aria-label=\"Secondary menu\" class=\"secondary-nav\">\n        <button class=\"secondary-nav__button btn btn-solid--primary w-full\" aria-expanded=\"false\" aria-controls=\"secondary-navigation__list\" title=\"The selected page is Research\" type=\"button\">\n            <span class=\"btn__name mr-auto\">Research<\/span>\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n                <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\" \/>\n            <\/svg>\n        <\/button>\n\n        <ul id=\"secondary-navigation__list\" class=\"secondary-nav__list\">\n            <li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/\" target=\"\" rel=\"noreferrer noopener\" class=\"secondary-nav__link \">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n            <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\" \/>\n        <\/svg>\n        <span class=\"secondary-nav__name\">Overview<\/span>\n    <\/a>\n<\/li>\n<li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/research\/\" target=\"\" rel=\"noreferrer noopener\" class=\"secondary-nav__link isactived\" aria-current=\"page\">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n            <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\" \/>\n        <\/svg>\n        <span class=\"secondary-nav__name\">Research<\/span>\n    <\/a>\n<\/li>\n<li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/strategy-lab\/\" target=\"\" rel=\"noreferrer noopener\" class=\"secondary-nav__link \">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n            <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\" \/>\n        <\/svg>\n        <span class=\"secondary-nav__name\">Strategy Lab<\/span>\n    <\/a>\n<\/li>\n<li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/quantum-lab\/\" target=\"\" rel=\"noreferrer noopener\" class=\"secondary-nav__link \">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n            <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\" \/>\n        <\/svg>\n        <span class=\"secondary-nav__name\">Quantum Lab<\/span>\n    <\/a>\n<\/li>\n<li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/publications\/\" target=\"\" rel=\"noreferrer noopener\" class=\"secondary-nav__link \">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n            <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\" \/>\n        <\/svg>\n        <span class=\"secondary-nav__name\">Publications<\/span>\n    <\/a>\n<\/li>\n<li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/partners\/\" target=\"\" rel=\"noreferrer noopener\" class=\"secondary-nav__link \">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n            <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\" \/>\n        <\/svg>\n        <span class=\"secondary-nav__name\">Partners<\/span>\n    <\/a>\n<\/li>\n<li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/people\/\" target=\"\" rel=\"noreferrer noopener\" class=\"secondary-nav__link \">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n            <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\" \/>\n        <\/svg>\n        <span class=\"secondary-nav__name\">People<\/span>\n    <\/a>\n<\/li>\n        <\/ul>\n    <\/nav>\n<\/div>\n<!-- end SecondaryNavigationMirror --><\/div><\/section>\n\n\n\n<section class=\"wp-block-unilux-blocks-free-section section\"><div class=\"container xl:max-w-screen-xl\"><section class=\"section section pb-0 wp-block-unilux-blocks-page-intro py-0\">\n    \n<div class=\"wp-block-unilux-blocks-wrapper container xl:max-w-screen-xl\">\n<div class=\"wp-block-unilux-blocks-wrapper flex flex-wrap -mx-16\">\n<div class=\"wp-block-unilux-blocks-wrapper flex-1 mb-48 px-16\">\n<h1 class=\"has-text-align-left wp-block-unilux-blocks-heading\"        id=\"our-research\"\n    >\nOur Research<\/h1>\n\n\n\n<p><strong>Design, analysis and modelling of secure systems<br><\/strong>APSIA&#8217;s mission is to develop and evaluate techniques to mitigate the multitude of cyber threats, and make the digital world more secure and trustworthy for its citizens. This covers design and verification of cryptographic protocols, privacy-enhancing technologies, as well as secure voting and digital democracy. It also encompasses quantum and post-quantum cryptography to future-proof security.<\/p>\n\n\n\n<ul class=\"wp-block-unilux-blocks-custom-buttons btn-list\"><li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/snt-en\/contact\/\"\n                target=\"_self\"\n        class=\"btn btn--primary\"\n            >Contact Us<\/a>\n<\/li>\n\n\n<li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/en\/news-overview\/?fq_news-taxonomies-organisation%5B%5D=applied-security-and-information-assurance-group-apsia%7CApplied+Security+and+Information+Assurance+Group+%28APSIA%29%7COrganisation\"\n                target=\"_self\"\n        class=\"btn btn--secondary\"\n            >Our Latest News<\/a>\n<\/li>\n<\/ul>\n<\/div>\n\n\n\n<div class=\"wp-block-unilux-blocks-wrapper w-full md:w-auto px-16\">\n<div class=\"wp-block-unilux-blocks-wrapper flex flex-col items-center\">\n<h2 class=\"text-h4 has-text-align-left wp-block-unilux-blocks-heading\"        id=\"the-race-to-preventthe-quantumapocalypse\"\n    >\nThe Race to Prevent<br>the Quantum<br>Apocalypse<\/h2>\n\n\n<a class=\"wp-block-unilux-blocks-button-highlight-square\"\n    href=\"https:\/\/snt-highlights.uni.lu\/2022\/02\/28\/the-race-to-prevent-the-quantum-apocalypse\/\"\n    target=\"_blank\"\n>\n    <span class=\"btn-highlight-square__container\">\n        <div class=\"btn-highlight-square__body\">\n    <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--external-link icon--xl\"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--external-link\"><\/use><\/svg>    <span class=\"btn btn--dark\">\n        \n<span class=\"btn__name wp-block-unilux-blocks-plain-text\">Read the Article<\/span>    <\/span>\n<\/div><figure class=\"wp-block-dev4-reusable-blocks-image image-bg object-fit--cover\">\n    \n<img decoding=\"async\" class=\"wp-block-image unilux-custom-image-block\"\n                alt=\"\"\n            src=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/08\/Peter_Ryan.jpg\"\n                srcset=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/08\/Peter_Ryan-300x200.jpg 300w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/08\/Peter_Ryan-768x512.jpg 768w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/08\/Peter_Ryan.jpg 1024w\"\n                style=\"object-position: 26.00% 75.00%; font-family: &quot;object-fit: cover; object-position: 26.00% 75.00%;&quot;; aspect-ratio: 3\/4; object-fit: cover; width: 100%;\"\n        loading=\"lazy\"\n\/>    <\/figure>    <\/span>\n<\/a><\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/section><\/div><\/section>\n\n\n<section class=\"section  wp-block-unilux-blocks-content-card-full-width py-0\">\n    <div class=\"container 2xl:max-w-screen-2xl\">\n        <div class=\"max-w-11\/12\">\n            <div class=\"content-card content-card--right content-card__overlay--hidden wp-block-unilux-blocks-content-card\">\n    \n<h2 class=\"content-card__heading has-text-align-left wp-block-unilux-blocks-heading\"        id=\"researchers-partners\"\n    >\nResearchers &amp; Partners<\/h2>\n<div class=\"content-card__visual wp-block-unilux-blocks-content-card-visual-area\">\n    \n<section class=\"wp-block-unilux-blocks-image-video-wrapper\">\n    <figure class=\"wp-block-dev4-reusable-blocks-image  object-fit--cover\">\n    \n<img decoding=\"async\" class=\"wp-block-image unilux-custom-image-block\"\n                alt=\"\"\n            src=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/124.jpg\"\n                srcset=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/124-300x200.jpg 300w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/124-768x512.jpg 768w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/124.jpg 1024w\"\n                style=\"object-position: 50.00% 50.00%; font-family: &quot;object-fit: cover; object-position: 50.00% 50.00%;&quot;; aspect-ratio: 3\/2; object-fit: cover; width: 100%;\"\n        loading=\"lazy\"\n\/>    <\/figure><\/section>\n<div class=\"wp-block-unilux-blocks-wrapper content-card__overlay\">\n<a class=\"wp-block-unilux-blocks-button-highlight-rounded bottom-left\" \n    href=\"#\"\n    target=\"_self\"\n>\n    \n<span class=\"btn-highlight-rounded__name wp-block-unilux-blocks-plain-text\"><\/span>    <span class=\"icon-rounded\">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-right icon--lg\"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\"><\/use><\/svg>    <\/span>\n<\/a><\/div>\n<\/div><div class=\"content-card__body  wp-block-unilux-blocks-content-card-free-area\">\n    \n<div class=\"wp-block-columns is-layout-flex wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<p>The group specialises in the design, analysis and modelling of security protocols using classical, quantum, and post-quantum cryptography. They also investigate modelling and verification techniques that take account of the human and social aspects to achieve usable security. Researchers interested in the mathematical foundations of cybersecurity, with strong analytical skills and the ability of abstract thinking, will find a welcoming and stimulating environment in which they are encouraged to acquire new skills, to develop professionally and to perform creative and analytical research to benefit society.<\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<p>Public sector and industrial partners with scientific research challenges in information assurance, including cryptographic primitives and protocols, quantum-resilient and agile cryptography, the digital society and e-democracy, and secure transactions will find a group with world-class expertise in classical and quantum cryptography employing cutting-edge, interdisciplinary techniques to create practical, real-world solutions.<\/p>\n<\/div>\n<\/div>\n\n<ul class=\"wp-block-unilux-blocks-custom-buttons btn-list justify-center\"><li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/pcog\/publications\/\"\n                target=\"_self\"\n        class=\"btn btn--primary\"\n            >Publications<\/a>\n<\/li>\n\n\n<li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/pcog\/partners\/\"\n                target=\"_self\"\n        class=\"btn btn--secondary\"\n            >Partners<\/a>\n<\/li>\n<\/ul>\n<\/div><\/div>        <\/div>\n    <\/div>\n<\/section>\n\n\n<section class=\"wp-block-unilux-blocks-free-section section\"><div class=\"container xl:max-w-screen-xl\">\n<h2 class=\"has-text-align-left wp-block-unilux-blocks-heading\"        id=\"research-projects\"\n    >\nResearch projects<\/h2>\n\n\n<ul class=\"flex flex-wrap mt-24 -mx-16  wp-block-unilux-blocks-free-content-card\">\n    <li class=\"w-full sm:w-1\/2 lg:w-1\/3 px-16  wp-block-unilux-blocks-free-content-card-item\">\n    <div class=\"ulux-card card-project-related bg-theme\">\n        <div class=\"ulux-card__container card__container\">\n                        <div class=\"ulux-card__body wp-block-unilux-blocks-free-content-card-item-body\">\n    \n<span class=\"ulux-card__related wp-block-unilux-blocks-plain-text\">EquiVox<\/span>\n<h3 class=\"ulux-card__title has-text-align-left wp-block-unilux-blocks-heading\"        id=\"secure-quantum-safe-practical-voting-technologies\"\n    >\nSecure, Quantum-Safe, Practical Voting Technologies<\/h3>\n<div class=\"ulux-card__link-wrapper card__link wp-block-unilux-blocks-simple-cta\">\n    <a\n        href=\"https:\/\/www.uni.lu\/snt-en\/research-projects\/equivox\/\"\n        class=\"link-text link-text--icon ulux-card__link link-text link-absolute\"\n        target=\"\"\n    >\n        <span class=\"link-text__body\">\n            <span class=\"link-text__name\">Learn more<\/span>\n        <\/span>\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-right \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\"><\/use><\/svg>    <\/a>\n<\/div>\n<\/div>        <\/div>\n    <\/div>\n<\/li><li class=\"w-full sm:w-1\/2 lg:w-1\/3 px-16  wp-block-unilux-blocks-free-content-card-item\">\n    <div class=\"ulux-card card-project-related bg-theme\">\n        <div class=\"ulux-card__container card__container\">\n                        <div class=\"ulux-card__body wp-block-unilux-blocks-free-content-card-item-body\">\n    \n<span class=\"ulux-card__related wp-block-unilux-blocks-plain-text\">PABLO<\/span>\n<h3 class=\"ulux-card__title has-text-align-left wp-block-unilux-blocks-heading\"        id=\"privacy-preserving-tokenisation-of-artworks-pablo\"\n    >\nPrivacy-Preserving Tokenisation of Artworks (PABLO)<\/h3>\n<div class=\"ulux-card__link-wrapper card__link wp-block-unilux-blocks-simple-cta\">\n    <a\n        href=\"https:\/\/www.uni.lu\/snt-en\/research-projects\/pablo\/\"\n        class=\"link-text link-text--icon ulux-card__link link-text link-absolute\"\n        target=\"\"\n    >\n        <span class=\"link-text__body\">\n            <span class=\"link-text__name\">Learn more<\/span>\n        <\/span>\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-right \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\"><\/use><\/svg>    <\/a>\n<\/div>\n<\/div>        <\/div>\n    <\/div>\n<\/li><li class=\"w-full sm:w-1\/2 lg:w-1\/3 px-16  wp-block-unilux-blocks-free-content-card-item\">\n    <div class=\"ulux-card card-project-related bg-theme\">\n        <div class=\"ulux-card__container card__container\">\n                        <div class=\"ulux-card__body wp-block-unilux-blocks-free-content-card-item-body\">\n    \n<span class=\"ulux-card__related wp-block-unilux-blocks-plain-text\">PABLO<\/span>\n<h3 class=\"ulux-card__title has-text-align-left wp-block-unilux-blocks-heading\"        id=\"quantum-ldpc-codes-with-efficient-decoding-algorithms-qldpc\"\n    >\nQuantum LDPC Codes with Efficient Decoding Algorithms (QLDPC)<\/h3>\n<div class=\"ulux-card__link-wrapper card__link wp-block-unilux-blocks-simple-cta\">\n    <a\n        href=\"https:\/\/www.uni.lu\/snt-en\/research-projects\/qldpc\/\"\n        class=\"link-text link-text--icon ulux-card__link link-text link-absolute\"\n        target=\"\"\n    >\n        <span class=\"link-text__body\">\n            <span class=\"link-text__name\">Learn more<\/span>\n        <\/span>\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-right \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\"><\/use><\/svg>    <\/a>\n<\/div>\n<\/div>        <\/div>\n    <\/div>\n<\/li><\/ul>\n\n\n<ul class=\"wp-block-unilux-blocks-custom-buttons btn-list justify-center\"><li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/research-en\/research-projects-overview\/?fq_research-projects-taxonomies-organisation%5B%5D=applied-security-and-information-assurance-group-apsia%7CApplied+Security+and+Information+Assurance+Group+%28APSIA%29%7COrganisation\"\n                target=\"_self\"\n        class=\"btn btn--primary\"\n            >All projects<\/a>\n<\/li>\n<\/ul>\n<\/div><\/section>\n\n\n\n<section class=\"py-0 wp-block-unilux-blocks-free-section section\"><div class=\"container xl:max-w-screen-xl\">\n<h2 class=\"has-text-align-left wp-block-unilux-blocks-heading\"        id=\"our-projects\"\n    >\nOur Projects<\/h2>\n\n\n\n<div class=\"wp-block-unilux-blocks-accordion accordion accordion--theme accordion-standard\" data-reference=\"a3992376-efbe-48b1-8f0b-15184d99592d\" data-accordion-type=\"standard\"><div class=\"accordion__item  wp-block-unilux-blocks-accordion-item\">\n    <h3 class=\"accordion__header\"\n        >\n        <button\n            type=\"button\"\n            id=\"accordion-labelledby-94f90f15-6e4a-4709-b0d0-f2f50682b9ad\"\n            class=\"accordion__button collapsed\"\n            aria-expanded=\"false\"\n            aria-controls=\"accordion-panel-94f90f15-6e4a-4709-b0d0-f2f50682b9ad\"\n            data-bs-toggle=\"collapse\"\n            data-bs-target=\"#accordion-panel-94f90f15-6e4a-4709-b0d0-f2f50682b9ad\"\n        >\n            <span class=\"accordion__title\">\n                                Secure, Quantum-Safe, Practical Voting Technologies (EquiVox)            <\/span>\n\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-down \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\"><\/use><\/svg>        <\/button>\n    <\/h3>\n    <div id=\"accordion-panel-94f90f15-6e4a-4709-b0d0-f2f50682b9ad\"\n        class=\"accordion__collapse collapse\"\n        aria-labelledby=\"accordion-labelledby-94f90f15-6e4a-4709-b0d0-f2f50682b9ad\"\n        data-bs-parent=\"[data-reference=&quot;a3992376-efbe-48b1-8f0b-15184d99592d&quot;]\"\n    >\n        <div class=\"accordion__body \">\n            \n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"duration\"\n    >\nDuration:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>01\/04\/2020-31\/03\/2023<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"funding-source\"\n    >\nFunding source:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>FNR CORE<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"researchers\"\n    >\nResearchers:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Peter Y.A. Ryan, Peter Roenne, Johannes Mueller, Georgios Fotiadis<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"partners\"\n    >\nPartners:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>&#8211;<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"description\"\n    >\nDescription:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><em>Digital information and communication technologies, entrenched in the fabric of modern society, enrich and facilitate our lives. Elections form the foundations of democracy and as such, ensuring their security is of the utmost importance. One of the major security challenges that ought to be dealt with is the threat posed by the emergence of quantum computers. Almost all existing schemes depend on cryptography, which will be broken by quantum algorithms. Therefore, the goal of this project is to develop and prototype practical e-voting schemes that are secure against attackers capable of performing arbitrary quantum computations.<\/em><\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"more-details\"\n    >\nMore details:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<ul class=\"wp-block-unilux-blocks-custom-buttons btn-list\"><li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/snt-en\/contact\/\"\n                target=\"_blank\"\n        class=\"btn btn--primary\"\n            >Contact us<\/a>\n<\/li>\n<\/ul>\n<\/div><\/div><\/li><\/ul>\n        <\/div>\n    <\/div>\n<\/div>\n\n<div class=\"accordion__item  wp-block-unilux-blocks-accordion-item\">\n    <h3 class=\"accordion__header\"\n        >\n        <button\n            type=\"button\"\n            id=\"accordion-labelledby-9c3554a3-84c0-405a-9d35-3d0be5555bf1\"\n            class=\"accordion__button collapsed\"\n            aria-expanded=\"false\"\n            aria-controls=\"accordion-panel-9c3554a3-84c0-405a-9d35-3d0be5555bf1\"\n            data-bs-toggle=\"collapse\"\n            data-bs-target=\"#accordion-panel-9c3554a3-84c0-405a-9d35-3d0be5555bf1\"\n        >\n            <span class=\"accordion__title\">\n                                Future-Proofing Privacy in Secure Electronic Voting (FP2)            <\/span>\n\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-down \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\"><\/use><\/svg>        <\/button>\n    <\/h3>\n    <div id=\"accordion-panel-9c3554a3-84c0-405a-9d35-3d0be5555bf1\"\n        class=\"accordion__collapse collapse\"\n        aria-labelledby=\"accordion-labelledby-9c3554a3-84c0-405a-9d35-3d0be5555bf1\"\n        data-bs-parent=\"[data-reference=&quot;a3992376-efbe-48b1-8f0b-15184d99592d&quot;]\"\n    >\n        <div class=\"accordion__body \">\n            \n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"duration\"\n    >\nDuration:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>01\/01\/2021-31\/12\/2023<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"funding-source\"\n    >\nFunding source:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>FNR CORE<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"researchers\"\n    >\nResearchers:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Peter Y.A. Ryan, Johannes Mueller<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"partners\"\n    >\nPartners:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>&#8211;<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"description\"\n    >\nDescription:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><em><em>Systems for electronic voting are now widely used both for national, state-wide, and municipal elections all over the world. At the same time, its security is increasingly challenged: bad cyber-actors, ranging from nation states, cyber-criminals and hacktivists, pose massive threats for e-voting systems. Our project aims to provide solutions for protecting voters&#8217; privacy against future quantum attackers or even more powerful ones. The motivation is to not wait until such attackers have become a reality: we anticipate their development and act now. Therefore, our solutions aim to be highly practical so that they can be used for securing today&#8217;s elections.<\/em><\/em><\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"more-details\"\n    >\nMore details:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<ul class=\"wp-block-unilux-blocks-custom-buttons btn-list\"><li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/snt-en\/contact\/\"\n                target=\"_blank\"\n        class=\"btn btn--primary\"\n            >Contact us<\/a>\n<\/li>\n<\/ul>\n<\/div><\/div><\/li><\/ul>\n        <\/div>\n    <\/div>\n<\/div>\n\n<div class=\"accordion__item  wp-block-unilux-blocks-accordion-item\">\n    <h3 class=\"accordion__header\"\n        >\n        <button\n            type=\"button\"\n            id=\"accordion-labelledby-aa68a969-7a6e-4069-ab65-1efe882ae394\"\n            class=\"accordion__button collapsed\"\n            aria-expanded=\"false\"\n            aria-controls=\"accordion-panel-aa68a969-7a6e-4069-ab65-1efe882ae394\"\n            data-bs-toggle=\"collapse\"\n            data-bs-target=\"#accordion-panel-aa68a969-7a6e-4069-ab65-1efe882ae394\"\n        >\n            <span class=\"accordion__title\">\n                                Future Proofing the Connected World: A Quantum-Resistant Trusted Platform Module (FutureTPM)            <\/span>\n\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-down \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\"><\/use><\/svg>        <\/button>\n    <\/h3>\n    <div id=\"accordion-panel-aa68a969-7a6e-4069-ab65-1efe882ae394\"\n        class=\"accordion__collapse collapse\"\n        aria-labelledby=\"accordion-labelledby-aa68a969-7a6e-4069-ab65-1efe882ae394\"\n        data-bs-parent=\"[data-reference=&quot;a3992376-efbe-48b1-8f0b-15184d99592d&quot;]\"\n    >\n        <div class=\"accordion__body \">\n            \n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"duration\"\n    >\nDuration:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>01\/01\/2018-31\/12\/2020<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"funding-source\"\n    >\nFunding source:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>EC H2020<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"researchers\"\n    >\nResearchers:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Peter Y.A. Ryan<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"partners\"\n    >\nPartners:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Technikon Forschungs Und Planungsgesellschaft Mbh | Austria | Industry \/ SME;<br>8xav福利导航 Of Surrey | United Kingdom | Academia \/ Research;<br>Ubitech Limited | Cyprus | Industry \/ SME;<br>Royal Holloway And Bedford New College | United Kingdom | Academia \/ Research;<br>IBM Research Gmbh | Switzerland | Industry \/ SME;<br>The 8xav福利导航 Of Birmingham | United Kingdom | Academia \/ Research;<br>Infineon Technologies AG | Germany | Industry \/ SME;<br>Infineon Technologies Austria AG | Austria | Industry \/ SME;<br>Inesc Id Instituto De Engenhariade Sistemas E Computadores, Investigacao E Desenvolvimento Em Lisboa | Portugal | Academia \/ Research;<br>SUITE5 DATA INTELLIGENCE SOLUTIONS LIMITED | Ireland | Industry \/ SME;<br>8xav福利导航 Of Piraeus Research Center | Cyprus | Academia \/ Research;<br>Huawei Technologies Duesseldorf Gmbh | Germany | Industry \/ SME;<br>Viva Payment Services Sa | Greece | Industry \/ SME;<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"description\"\n    >\nDescription:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><em>The goal of FutureTPM is to design a QR TPM by identifying and developing QR algorithms suitable for inclusion in a TPM. The algorithm design will be accompanied with implementation and performance evaluation in a hardware TPM, software TPM and virtual TPM. The work will be validated through formal security analysis, and also by considering three use cases:device management, e-payment and activity tracking. FutureTPM combines QR cryptography researchers with TPM developers, vendors and end users. The results will be published (in high-quality journals and conferences), and they will also contribute to new TPM standards.<\/em><\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"more-details\"\n    >\nMore details:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<ul class=\"wp-block-unilux-blocks-custom-buttons btn-list\"><li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/snt-en\/contact\/\"\n                target=\"_blank\"\n        class=\"btn btn--primary\"\n            >Contact us<\/a>\n<\/li>\n<\/ul>\n<\/div><\/div><\/li><\/ul>\n        <\/div>\n    <\/div>\n<\/div>\n\n<div class=\"accordion__item  wp-block-unilux-blocks-accordion-item\">\n    <h3 class=\"accordion__header\"\n        >\n        <button\n            type=\"button\"\n            id=\"accordion-labelledby-1913fdd5-a470-4efb-a6a5-9ca141a3eb70\"\n            class=\"accordion__button collapsed\"\n            aria-expanded=\"false\"\n            aria-controls=\"accordion-panel-1913fdd5-a470-4efb-a6a5-9ca141a3eb70\"\n            data-bs-toggle=\"collapse\"\n            data-bs-target=\"#accordion-panel-1913fdd5-a470-4efb-a6a5-9ca141a3eb70\"\n        >\n            <span class=\"accordion__title\">\n                                Secure, Usable and Robust Cryptographic Voting Systems (SURVCS)            <\/span>\n\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-down \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\"><\/use><\/svg>        <\/button>\n    <\/h3>\n    <div id=\"accordion-panel-1913fdd5-a470-4efb-a6a5-9ca141a3eb70\"\n        class=\"accordion__collapse collapse\"\n        aria-labelledby=\"accordion-labelledby-1913fdd5-a470-4efb-a6a5-9ca141a3eb70\"\n        data-bs-parent=\"[data-reference=&quot;a3992376-efbe-48b1-8f0b-15184d99592d&quot;]\"\n    >\n        <div class=\"accordion__body \">\n            \n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"duration\"\n    >\nDuration:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>01\/08\/2018-31\/07\/2022<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"funding-source\"\n    >\nFunding source:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>FNR INTER<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"researchers\"\n    >\nResearchers:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Peter Y.A. Ryan, Peter Roenne, Johannes Mueller<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"partners\"\n    >\nPartners:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Norwegian 8xav福利导航 of Science and Technology | Norway | Academia \/ Research;<br>8xav福利导航 of Melbourne | Australia | Academia \/ Research;<br>Queensland 8xav福利导航 of Technology | Australia | Academia \/ Research;<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"description\"\n    >\nDescription:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><em><em>This project will investigate the security of voting systems and increase our assurance in state-of-the-art voting systems. The focus will be on three specific areas that are critical in progressing towards adoption of modern voting systems to the benefit of society. (1) User confidence: voting systems must be designed so that voters believe in their security and integrity. (2) Security proofs: to provide a mathematical security proofs for the typically complex voting systems. (3) Long-term security: protect electronic records to remain secure into the future, specifically also against quantum computers.<\/em><\/em><\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"more-details\"\n    >\nMore details:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<ul class=\"wp-block-unilux-blocks-custom-buttons btn-list\"><li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/snt-en\/contact\/\"\n                target=\"_blank\"\n        class=\"btn btn--primary\"\n            >Contact us<\/a>\n<\/li>\n<\/ul>\n<\/div><\/div><\/li><\/ul>\n        <\/div>\n    <\/div>\n<\/div>\n\n<div class=\"accordion__item  wp-block-unilux-blocks-accordion-item\">\n    <h3 class=\"accordion__header\"\n        >\n        <button\n            type=\"button\"\n            id=\"accordion-labelledby-5314612a-d4d7-47f6-becc-6f1fd358b554\"\n            class=\"accordion__button collapsed\"\n            aria-expanded=\"false\"\n            aria-controls=\"accordion-panel-5314612a-d4d7-47f6-becc-6f1fd358b554\"\n            data-bs-toggle=\"collapse\"\n            data-bs-target=\"#accordion-panel-5314612a-d4d7-47f6-becc-6f1fd358b554\"\n        >\n            <span class=\"accordion__title\">\n                                Quantum Communication with Deniability (Q-CoDe)            <\/span>\n\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-down \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\"><\/use><\/svg>        <\/button>\n    <\/h3>\n    <div id=\"accordion-panel-5314612a-d4d7-47f6-becc-6f1fd358b554\"\n        class=\"accordion__collapse collapse\"\n        aria-labelledby=\"accordion-labelledby-5314612a-d4d7-47f6-becc-6f1fd358b554\"\n        data-bs-parent=\"[data-reference=&quot;a3992376-efbe-48b1-8f0b-15184d99592d&quot;]\"\n    >\n        <div class=\"accordion__body \">\n            \n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"duration\"\n    >\nDuration:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>01\/07\/2018-30\/06\/2021<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"funding-source\"\n    >\nFunding source:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>FNR CORE<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"researchers\"\n    >\nResearchers:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Peter Y. A. Ryan, Arash Atashpendar, Dimiter Ostrev, Peter Roenne, Jeroen van Wier<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"partners\"\n    >\nPartners:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>&#8211;<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"description\"\n    >\nDescription:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><em>The goal of Q-CoDe is to conduct a thorough formal analysis of the promising, but poorly understood field of deniable quantum communication. The results will be both in the form of impossibility, as well as feasibility theorems. In the latter case, actual protocols satisfying deniability will be developed. This will be both in the form of modifying existing QKD protocols to restore deniability, as well as devising new quantum protocols that provide deniability for key exchange and beyond, e.g. for e-voting. The methodology will be continuously supported by software prototyping aimed at running simulations and validating our approach and results.<\/em><\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"more-details\"\n    >\nMore details:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<ul class=\"wp-block-unilux-blocks-custom-buttons btn-list\"><li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/snt-en\/contact\/\"\n                target=\"_blank\"\n        class=\"btn btn--primary\"\n            >Contact us<\/a>\n<\/li>\n<\/ul>\n<\/div><\/div><\/li><\/ul>\n        <\/div>\n    <\/div>\n<\/div>\n\n<div class=\"accordion__item  wp-block-unilux-blocks-accordion-item\">\n    <h3 class=\"accordion__header\"\n        >\n        <button\n            type=\"button\"\n            id=\"accordion-labelledby-497e2470-197e-4364-b3f3-22f5553a0cc0\"\n            class=\"accordion__button collapsed\"\n            aria-expanded=\"false\"\n            aria-controls=\"accordion-panel-497e2470-197e-4364-b3f3-22f5553a0cc0\"\n            data-bs-toggle=\"collapse\"\n            data-bs-target=\"#accordion-panel-497e2470-197e-4364-b3f3-22f5553a0cc0\"\n        >\n            <span class=\"accordion__title\">\n                                Secure Voting Technologies (SeVoTe)            <\/span>\n\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-down \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\"><\/use><\/svg>        <\/button>\n    <\/h3>\n    <div id=\"accordion-panel-497e2470-197e-4364-b3f3-22f5553a0cc0\"\n        class=\"accordion__collapse collapse\"\n        aria-labelledby=\"accordion-labelledby-497e2470-197e-4364-b3f3-22f5553a0cc0\"\n        data-bs-parent=\"[data-reference=&quot;a3992376-efbe-48b1-8f0b-15184d99592d&quot;]\"\n    >\n        <div class=\"accordion__body \">\n            \n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"duration\"\n    >\nDuration:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>01\/10\/2016-30\/09\/2020<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"funding-source\"\n    >\nFunding source:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>FNR INTER<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"researchers\"\n    >\nResearchers:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Peter Y. A. Ryan, Peter Roenne, Marie-Laure Zollinger<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"partners\"\n    >\nPartners:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Universite Catholique Louvain la Neuve | Belgium<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"description\"\n    >\nDescription:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><em><em>The goal of this research project is to provide significant advances on the issues that appear in modern voting and e-voting systems, with a particular focus on the following aspects: rigorous expression of the security properties intended from and\/or exhibited by a voting system, in order to both improve our understanding of what can be achieved in general, and of the properties, and potential weaknesses, of actual systems. Further, the design of voting systems and components, that offer a more effective balance between coercion-resistance and usability and improved robustness, resilience to incidents, and more effective dispute resolution procedures.<\/em><\/em><\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"more-details\"\n    >\nMore details:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<ul class=\"wp-block-unilux-blocks-custom-buttons btn-list\"><li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/snt-en\/contact\/\"\n                target=\"_blank\"\n        class=\"btn btn--primary\"\n            >Contact us<\/a>\n<\/li>\n<\/ul>\n<\/div><\/div><\/li><\/ul>\n        <\/div>\n    <\/div>\n<\/div>\n\n<div class=\"accordion__item  wp-block-unilux-blocks-accordion-item\">\n    <h3 class=\"accordion__header\"\n        >\n        <button\n            type=\"button\"\n            id=\"accordion-labelledby-62d6cbbe-c2d2-4cb1-abd1-a284b632e86e\"\n            class=\"accordion__button collapsed\"\n            aria-expanded=\"false\"\n            aria-controls=\"accordion-panel-62d6cbbe-c2d2-4cb1-abd1-a284b632e86e\"\n            data-bs-toggle=\"collapse\"\n            data-bs-target=\"#accordion-panel-62d6cbbe-c2d2-4cb1-abd1-a284b632e86e\"\n        >\n            <span class=\"accordion__title\">\n                                A Theory of Matching Sessions (aToMS)            <\/span>\n\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-down \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\"><\/use><\/svg>        <\/button>\n    <\/h3>\n    <div id=\"accordion-panel-62d6cbbe-c2d2-4cb1-abd1-a284b632e86e\"\n        class=\"accordion__collapse collapse\"\n        aria-labelledby=\"accordion-labelledby-62d6cbbe-c2d2-4cb1-abd1-a284b632e86e\"\n        data-bs-parent=\"[data-reference=&quot;a3992376-efbe-48b1-8f0b-15184d99592d&quot;]\"\n    >\n        <div class=\"accordion__body \">\n            \n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"duration\"\n    >\nDuration:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>01\/05\/2015-30\/04\/2018<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"funding-source\"\n    >\nFunding source:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>FNR CORE<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"researchers\"\n    >\nResearchers:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Peter Y. A. Ryan, Jean Lancrenon, Jose Becerra, Dimiter Ostrev, Marjan Skrobot<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"partners\"\n    >\nPartners:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>&#8211;<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"description\"\n    >\nDescription:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><em><em><em>Authenticated Key Exchange protocols (AKEs) are cryptographic protocols that allow two or more parties to jointly compute a shared session key over an insecure public channel. Ever since the advent of provable security, an enormous amount of research has been done to define ever-stronger complexity-theoretic security models to capture desirable AKE properties. However, consensus has yet to be established over which models are the most suitable, both in theory and practice. Our goal is to conduct this study independently of the authentication mechanism used (PKI-based, password-based, attribute-based, etc.) and the underlying key exchange technique (group-based, lattice-based, quantum-based etc.).<\/em><\/em><\/em><\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"more-details\"\n    >\nMore details:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<ul class=\"wp-block-unilux-blocks-custom-buttons btn-list\"><li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/snt-en\/contact\/\"\n                target=\"_blank\"\n        class=\"btn btn--primary\"\n            >Contact us<\/a>\n<\/li>\n<\/ul>\n<\/div><\/div><\/li><\/ul>\n        <\/div>\n    <\/div>\n<\/div>\n\n<div class=\"accordion__item  wp-block-unilux-blocks-accordion-item\">\n    <h3 class=\"accordion__header\"\n        >\n        <button\n            type=\"button\"\n            id=\"accordion-labelledby-d7085ddb-5aee-44bc-a7a4-0f7d7da0e906\"\n            class=\"accordion__button collapsed\"\n            aria-expanded=\"false\"\n            aria-controls=\"accordion-panel-d7085ddb-5aee-44bc-a7a4-0f7d7da0e906\"\n            data-bs-toggle=\"collapse\"\n            data-bs-target=\"#accordion-panel-d7085ddb-5aee-44bc-a7a4-0f7d7da0e906\"\n        >\n            <span class=\"accordion__title\">\n                                Verifiable Internet Voting (VIVO): Moving Theory into Practice            <\/span>\n\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-down \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\"><\/use><\/svg>        <\/button>\n    <\/h3>\n    <div id=\"accordion-panel-d7085ddb-5aee-44bc-a7a4-0f7d7da0e906\"\n        class=\"accordion__collapse collapse\"\n        aria-labelledby=\"accordion-labelledby-d7085ddb-5aee-44bc-a7a4-0f7d7da0e906\"\n        data-bs-parent=\"[data-reference=&quot;a3992376-efbe-48b1-8f0b-15184d99592d&quot;]\"\n    >\n        <div class=\"accordion__body \">\n            \n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"duration\"\n    >\nDuration:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>01\/10\/212-30\/09\/2014<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"funding-source\"\n    >\nFunding source:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>FNR INTER<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"researchers\"\n    >\nResearchers:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Peter Y. A. Ryan, Rui Joaquim, Rolf Haenni, Eric Dubuis, Reto Koenig<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"partners\"\n    >\nPartners:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Bern 8xav福利导航 of Applied Sciences | Switzerland<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"description\"\n    >\nDescription:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><em><em><em><em>The VIVO project is motivated by the broad discrepancy between theory and practice in electronic voting today. The general goal of the project is to diminish this gap between the theory and practice of Internet voting and to push the deployment of the latest research achievements into next-generation systems to be developed worldwide. The project is a collaboration between two internationally well-recognised e-voting research groups from the Bern 8xav福利导航 of Applied Sciences and the 8xav福利导航 of Luxembourg.<\/em><\/em><\/em><\/em><\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"more-details\"\n    >\nMore details:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<ul class=\"wp-block-unilux-blocks-custom-buttons btn-list\"><li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/snt-en\/contact\/\"\n                target=\"_blank\"\n        class=\"btn btn--primary\"\n            >Contact us<\/a>\n<\/li>\n<\/ul>\n<\/div><\/div><\/li><\/ul>\n        <\/div>\n    <\/div>\n<\/div>\n\n<div class=\"accordion__item  wp-block-unilux-blocks-accordion-item\">\n    <h3 class=\"accordion__header\"\n        >\n        <button\n            type=\"button\"\n            id=\"accordion-labelledby-eb8b04fd-3a3d-47a0-b4c8-59059b927f64\"\n            class=\"accordion__button collapsed\"\n            aria-expanded=\"false\"\n            aria-controls=\"accordion-panel-eb8b04fd-3a3d-47a0-b4c8-59059b927f64\"\n            data-bs-toggle=\"collapse\"\n            data-bs-target=\"#accordion-panel-eb8b04fd-3a3d-47a0-b4c8-59059b927f64\"\n        >\n            <span class=\"accordion__title\">\n                                Verification of Voter-Verifiable Voting Protocols (VoteVerif)            <\/span>\n\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-down \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\"><\/use><\/svg>        <\/button>\n    <\/h3>\n    <div id=\"accordion-panel-eb8b04fd-3a3d-47a0-b4c8-59059b927f64\"\n        class=\"accordion__collapse collapse\"\n        aria-labelledby=\"accordion-labelledby-eb8b04fd-3a3d-47a0-b4c8-59059b927f64\"\n        data-bs-parent=\"[data-reference=&quot;a3992376-efbe-48b1-8f0b-15184d99592d&quot;]\"\n    >\n        <div class=\"accordion__body \">\n            \n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"duration\"\n    >\nDuration:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>01\/09\/2016-31\/08\/2019<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"funding-source\"\n    >\nFunding source:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>FNR CORE<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"researchers\"\n    >\nResearchers:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Peter Y. A. Ryan, Wojciech Jamroga, Leon van der Torre, Arash Atashpendar, Gergei Bada, David Mestel, Masoud Tabatabaei, Salima Lamhar, Wojciech Penczek, Michal Knapik, Damian Kurpiewski, Teofil Sidoruk, Marek A. Bednarczyk, Tadeusz Puzniakowski<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"partners\"\n    >\nPartners:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Institute of Computer Science, Polish Academy of Sciences (ICS PAS) | Poland;<br>Polish-Japanese IT Academy (PJITA) | Poland<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"description\"\n    >\nDescription:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><em><em><em><em><em>We propose to use techniques from formal specification and verification of multi-agent systems, and apply them to verify information security requirements for voting protocols. The research will lead to the development of a toolbox for practical verification of strategic properties in interaction protocols. We will significantly extend the existing techniques of model checking so that it becomes possible to verify strategic properties in voting procedures. Furthermore, we will develop abstract specifications that disambiguate different flavours of confidentiality, voter-verifiability, and coercion-resistance, as well as actual models and reduction techniques for the voting domain.<\/em><\/em><\/em><\/em><\/em><\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"more-details\"\n    >\nMore details:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<ul class=\"wp-block-unilux-blocks-custom-buttons btn-list\"><li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/snt-en\/contact\/\"\n                target=\"_blank\"\n        class=\"btn btn--primary\"\n            >Contact us<\/a>\n<\/li>\n<\/ul>\n<\/div><\/div><\/li><\/ul>\n        <\/div>\n    <\/div>\n<\/div>\n\n<div class=\"accordion__item  wp-block-unilux-blocks-accordion-item\">\n    <h3 class=\"accordion__header\"\n        >\n        <button\n            type=\"button\"\n            id=\"accordion-labelledby-f4273b93-b36d-4406-9390-531f0da2e6ca\"\n            class=\"accordion__button collapsed\"\n            aria-expanded=\"false\"\n            aria-controls=\"accordion-panel-f4273b93-b36d-4406-9390-531f0da2e6ca\"\n            data-bs-toggle=\"collapse\"\n            data-bs-target=\"#accordion-panel-f4273b93-b36d-4406-9390-531f0da2e6ca\"\n        >\n            <span class=\"accordion__title\">\n                                Stateful Zero-Knowledge (SZK)            <\/span>\n\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-down \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\"><\/use><\/svg>        <\/button>\n    <\/h3>\n    <div id=\"accordion-panel-f4273b93-b36d-4406-9390-531f0da2e6ca\"\n        class=\"accordion__collapse collapse\"\n        aria-labelledby=\"accordion-labelledby-f4273b93-b36d-4406-9390-531f0da2e6ca\"\n        data-bs-parent=\"[data-reference=&quot;a3992376-efbe-48b1-8f0b-15184d99592d&quot;]\"\n    >\n        <div class=\"accordion__body \">\n            \n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"duration\"\n    >\nDuration:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>01\/03\/2018-28\/02\/2021<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"funding-source\"\n    >\nFunding source:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>FNR CORE<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"researchers\"\n    >\nResearchers:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Alfredo Rial, Peter Y. A. Ryan<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"partners\"\n    >\nPartners:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"description\"\n    >\nDescription:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>A zero-knowledge (ZK) proof system allows a prover to prove statements to a verifier without revealing secret information. The goal of this project is to define, construct and analyse protocols for stateful zero-knowledge (SZK). We view the state as a data structure where the prover stores each piece of data at a certain position.<br><br>We will use SZK as building block in protocols for data collection and analysis. Thanks to the strong privacy properties offered by SZK, we will be able to design protocols for tasks that before could not be realised while fully protecting user privacy.<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"more-details\"\n    >\nMore details:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<ul class=\"wp-block-unilux-blocks-custom-buttons btn-list\"><li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/snt-en\/contact\/\"\n                target=\"_blank\"\n        class=\"btn btn--primary\"\n            >Contact us<\/a>\n<\/li>\n<\/ul>\n<\/div><\/div><\/li><\/ul>\n        <\/div>\n    <\/div>\n<\/div>\n\n<div class=\"accordion__item  wp-block-unilux-blocks-accordion-item\">\n    <h3 class=\"accordion__header\"\n        >\n        <button\n            type=\"button\"\n            id=\"accordion-labelledby-677aa748-c61c-4dd5-8721-5e56d52b2129\"\n            class=\"accordion__button collapsed\"\n            aria-expanded=\"false\"\n            aria-controls=\"accordion-panel-677aa748-c61c-4dd5-8721-5e56d52b2129\"\n            data-bs-toggle=\"collapse\"\n            data-bs-target=\"#accordion-panel-677aa748-c61c-4dd5-8721-5e56d52b2129\"\n        >\n            <span class=\"accordion__title\">\n                                Socio-Technical Verification of Information Security and Trust in Voting Systems (STAST)            <\/span>\n\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-down \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\"><\/use><\/svg>        <\/button>\n    <\/h3>\n    <div id=\"accordion-panel-677aa748-c61c-4dd5-8721-5e56d52b2129\"\n        class=\"accordion__collapse collapse\"\n        aria-labelledby=\"accordion-labelledby-677aa748-c61c-4dd5-8721-5e56d52b2129\"\n        data-bs-parent=\"[data-reference=&quot;a3992376-efbe-48b1-8f0b-15184d99592d&quot;]\"\n    >\n        <div class=\"accordion__body \">\n            \n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"duration\"\n    >\nDuration:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>01\/05\/2012-31\/05\/2015<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"funding-source\"\n    >\nFunding source:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>FNR CORE<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"researchers\"\n    >\nResearchers:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Sjouke Mauw, Peter Y. A. Ryan, Vincent Koenig, Gabriele Lenzini, Ana Margarita Ferreira, Wu Yining, Jean-Louis Huynen<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"partners\"\n    >\nPartners:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><em>&#8211;<\/em><\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"description\"\n    >\nDescription:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><em><em><em><em><em><em>STAST is about modelling and analysing the security and trustworthiness of systems as complex socio-technical structures where humans are crucial in either maintaining or undermining security. In such systems vulnerabilities exist not in the technical but rather in the social components, which are usually weaker because they are overlooked in traditional security analysis. STAST refers to a multi-layered model of systems, which consists of a sequence of communicating elements such as personae, user interfaces, operating system processes, and network agents.<\/em><\/em><\/em><\/em><\/em><\/em><\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"more-details\"\n    >\nMore details:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<ul class=\"wp-block-unilux-blocks-custom-buttons btn-list\"><li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/snt-en\/contact\/\"\n                target=\"_blank\"\n        class=\"btn btn--primary\"\n            >Contact us<\/a>\n<\/li>\n<\/ul>\n<\/div><\/div><\/li><\/ul>\n        <\/div>\n    <\/div>\n<\/div>\n\n<div class=\"accordion__item  wp-block-unilux-blocks-accordion-item\">\n    <h3 class=\"accordion__header\"\n        >\n        <button\n            type=\"button\"\n            id=\"accordion-labelledby-c878ff2f-a7cc-440d-bba4-de14e4ee3a05\"\n            class=\"accordion__button collapsed\"\n            aria-expanded=\"false\"\n            aria-controls=\"accordion-panel-c878ff2f-a7cc-440d-bba4-de14e4ee3a05\"\n            data-bs-toggle=\"collapse\"\n            data-bs-target=\"#accordion-panel-c878ff2f-a7cc-440d-bba4-de14e4ee3a05\"\n        >\n            <span class=\"accordion__title\">\n                                Password-Authenticated Keying Algorithms by Juggling (PAKAJ)            <\/span>\n\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-down \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\"><\/use><\/svg>        <\/button>\n    <\/h3>\n    <div id=\"accordion-panel-c878ff2f-a7cc-440d-bba4-de14e4ee3a05\"\n        class=\"accordion__collapse collapse\"\n        aria-labelledby=\"accordion-labelledby-c878ff2f-a7cc-440d-bba4-de14e4ee3a05\"\n        data-bs-parent=\"[data-reference=&quot;a3992376-efbe-48b1-8f0b-15184d99592d&quot;]\"\n    >\n        <div class=\"accordion__body \">\n            \n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"duration\"\n    >\nDuration:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>01\/07\/2012-30\/06\/2014<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"funding-source\"\n    >\nFunding source:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>FNR AFR PostDoc<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"researchers\"\n    >\nResearchers:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Jean Lancrenon, Peter Y. A. Ryan<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"partners\"\n    >\nPartners:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><em>&#8211;<\/em><\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"description\"\n    >\nDescription:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><em><em><em><em><em><em><em>The objective of PAKAJ is to conduct a broad study of the password-based key exchange protocol J-PAKE designed by Feng HAO and Peter Y.A. RYAN. Three main directions are to be explored: 1) comparing different notions of security for password-authenticated key agreement, 2) establishing the exact security of J-PAKE in a computational model of security, and 3) abstracting J-PAKE\u2019s underlying construction to try to obtain similar password-based key exchange algorithms from other computational assumptions.<\/em><\/em><\/em><\/em><\/em><\/em><\/em><\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"more-details\"\n    >\nMore details:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<ul class=\"wp-block-unilux-blocks-custom-buttons btn-list\"><li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/snt-en\/contact\/\"\n                target=\"_blank\"\n        class=\"btn btn--primary\"\n            >Contact us<\/a>\n<\/li>\n<\/ul>\n<\/div><\/div><\/li><\/ul>\n        <\/div>\n    <\/div>\n<\/div>\n\n<div class=\"accordion__item  wp-block-unilux-blocks-accordion-item\">\n    <h3 class=\"accordion__header\"\n        >\n        <button\n            type=\"button\"\n            id=\"accordion-labelledby-3b7e0e19-d6d0-473d-b5f9-37c547a79cca\"\n            class=\"accordion__button collapsed\"\n            aria-expanded=\"false\"\n            aria-controls=\"accordion-panel-3b7e0e19-d6d0-473d-b5f9-37c547a79cca\"\n            data-bs-toggle=\"collapse\"\n            data-bs-target=\"#accordion-panel-3b7e0e19-d6d0-473d-b5f9-37c547a79cca\"\n        >\n            <span class=\"accordion__title\">\n                                Facilitating optimal containment and exit strategies with minimal disclosure access control and tracking (SmartExit)            <\/span>\n\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-down \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\"><\/use><\/svg>        <\/button>\n    <\/h3>\n    <div id=\"accordion-panel-3b7e0e19-d6d0-473d-b5f9-37c547a79cca\"\n        class=\"accordion__collapse collapse\"\n        aria-labelledby=\"accordion-labelledby-3b7e0e19-d6d0-473d-b5f9-37c547a79cca\"\n        data-bs-parent=\"[data-reference=&quot;a3992376-efbe-48b1-8f0b-15184d99592d&quot;]\"\n    >\n        <div class=\"accordion__body \">\n            \n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"duration\"\n    >\nDuration:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>01\/05\/2020-31\/10\/2020<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"funding-source\"\n    >\nFunding source:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>FNR COVID-19<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"researchers\"\n    >\nResearchers:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Peter Y. A. Ryan<\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"partners\"\n    >\nPartners:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><em>&#8211;<\/em><\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"description\"\n    >\nDescription:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><em>This project aims at facilitating exit strategies that incorporate access control to the public space, border crossings, and critical areas. The strategies are based on the individual COVID-19 immunity and\/or infection status. Also, the project will investigate the implementation of contact-tracing apps in Luxembourg, which clearly is an essential component of a successful exit strategy in order to backtrack and contain the infection.<br>The smart access control system can be based on passports, ID cards or smart cards. We will propose a mechanism, produce a prototype implementation, and present a preliminary formal analysis of access-control solutions for exit strategies.<\/em><\/p>\n<\/div><\/div><\/li><\/ul>\n\n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--architectural\"><li class=\"list-highlighted__item  wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"more-details\"\n    >\nMore details:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<ul class=\"wp-block-unilux-blocks-custom-buttons btn-list\"><li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/snt-en\/contact\/\"\n                target=\"_blank\"\n        class=\"btn btn--primary\"\n            >Contact us<\/a>\n<\/li>\n<\/ul>\n<\/div><\/div><\/li><\/ul>\n        <\/div>\n    <\/div>\n<\/div><\/div>\n<\/div><\/section>\n\n\n\n<section class=\"wp-block-unilux-blocks-free-section section\"><div class=\"container xl:max-w-screen-xl\"><section class=\"section section wp-block-unilux-blocks-quick-link-discover-section\">\n    <div class=\"container xl:max-w-screen-xl\">\n        \n<h2 class=\"has-text-align-left wp-block-unilux-blocks-heading\"        id=\"discover-more-about-apsia\"\n    >\nDiscover More About APSIA<\/h2>\n\n<ul class=\"wp-block-unilux-blocks-quick-link-discover quick-link-list\">\n<li class=\"wp-block-unilux-blocks-quick-link-discover-item\">\n    <a\n                    href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/strategy-lab\/\"\n                    class=\"quick-link\"\n            target=\"\"\n    >\n            <span class=\"quick-link__container\">\n                <span class=\"quick-link__text\">\n                    Strategy Lab                <\/span>\n                <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-right \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\"><\/use><\/svg>            <\/span>\n    <\/a>\n<\/li>\n\n\n\n<li class=\"wp-block-unilux-blocks-quick-link-discover-item\">\n    <a\n                    href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/quantum-lab\/\"\n                    class=\"quick-link\"\n            target=\"\"\n    >\n            <span class=\"quick-link__container\">\n                <span class=\"quick-link__text\">\n                    Quantum Lab                <\/span>\n                <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-right \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\"><\/use><\/svg>            <\/span>\n    <\/a>\n<\/li>\n\n\n\n<li class=\"wp-block-unilux-blocks-quick-link-discover-item\">\n    <a\n                    href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/publications\/\"\n                    class=\"quick-link\"\n            target=\"\"\n    >\n            <span class=\"quick-link__container\">\n                <span class=\"quick-link__text\">\n                    Publications                <\/span>\n                <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-right \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\"><\/use><\/svg>            <\/span>\n    <\/a>\n<\/li>\n<\/ul>\n    <\/div>\n<\/section><\/div><\/section>\n<\/div>","protected":false},"excerpt":{"rendered":"<p>Design, analysis and modelling of secure systems<br \/>\nAPSIA&#8217;s mission is to develop and evaluate techniques to mitigate the multitude of cyber threats, and make the digital world more secure and trustworthy for its citizens. This covers design and verification of cryptographic protocols, privacy-enhancing technologies, as well as secure voting and digital democracy. It also encompasses quantum and post-quantum cryptography to future-proof security.<\/p>\n","protected":false},"author":154,"featured_media":0,"parent":657,"menu_order":0,"template":"","meta":{"featured_image_focal_point":[],"show_featured_caption":false,"ulux_newsletter_groups":"","uluxPostTitle":"Applied Security and Information Assurance (APSIA)","uluxPrePostTitle":"Research group","_trash_the_other_posts":false,"_price":"","_stock":"","_tribe_ticket_header":"","_tribe_default_ticket_provider":"","_tribe_ticket_capacity":"0","_ticket_start_date":"","_ticket_end_date":"","_tribe_ticket_show_description":"","_tribe_ticket_show_not_going":false,"_tribe_ticket_use_global_stock":"","_tribe_ticket_global_stock_level":"","_global_stock_mode":"","_global_stock_cap":"","_tribe_rsvp_for_event":"","_tribe_ticket_going_count":"","_tribe_ticket_not_going_count":"","_tribe_tickets_list":"[]","_tribe_ticket_has_attendee_info_fields":false},"field-of-interest":[],"organisation":[],"authorship":[154],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v22.3 (Yoast SEO v22.3) - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Research - Applied Security and Information Assurance - LCSB research group I 8xav福利导航 of Luxembourg<\/title>\n<meta name=\"description\" content=\"APSIA\u2019s mission is to develop and evaluate techniques to mitigate the multitude of cyber threats, and make the digital world more secure.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/research\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Research\" \/>\n<meta property=\"og:description\" content=\"APSIA\u2019s mission is to develop and evaluate techniques to mitigate the multitude of cyber threats, and make the digital world more secure.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/research\/\" \/>\n<meta property=\"og:site_name\" content=\"SnT EN\" \/>\n<meta property=\"article:modified_time\" content=\"2026-03-17T12:11:52+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"2560\" \/>\n\t<meta property=\"og:image:height\" content=\"2560\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Estimated reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"8 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/research\/\",\"url\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/research\/\",\"name\":\"Research - Applied Security and Information Assurance - LCSB research group I 8xav福利导航 of Luxembourg\",\"isPartOf\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#website\"},\"datePublished\":\"2023-06-26T17:05:56+00:00\",\"dateModified\":\"2026-03-17T12:11:52+00:00\",\"description\":\"APSIA\u2019s mission is to develop and evaluate techniques to mitigate the multitude of cyber threats, and make the digital world more secure.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/research\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/research\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/research\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.uni.lu\/en\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Interdisciplinary Centre for Security, Reliability and Trust (SnT)\",\"item\":\"https:\/\/www.uni.lu\/snt-en\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Research Groups\",\"item\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"Applied Security and Information Assurance (APSIA)\",\"item\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/\"},{\"@type\":\"ListItem\",\"position\":5,\"name\":\"Research\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#website\",\"url\":\"https:\/\/www.uni.lu\/snt-en\/\",\"name\":\"SnT\",\"description\":\"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu\",\"publisher\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#organization\"},\"alternateName\":\"Interdisciplinary Centre for Security, Reliability and Trust I 8xav福利导航 of Luxembourg\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.uni.lu\/snt-en\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"en-GB\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#organization\",\"name\":\"SnT - 8xav福利导航 of Luxembourg I Uni.lu\",\"alternateName\":\"Interdisciplinary Centre for Security, Reliability and Trust\",\"url\":\"https:\/\/www.uni.lu\/snt-en\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg\",\"width\":2560,\"height\":2560,\"caption\":\"SnT - 8xav福利导航 of Luxembourg I Uni.lu\"},\"image\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/04\/24144329\/20200609-Belval-Campus_Henri-Goergen-23.jpg\",\"sameAs\":[\"https:\/\/www.linkedin.com\/school\/snt-lu\/\"],\"email\":\"communication@uni.lu\",\"telephone\":\"+3524666441\",\"address\":{\"@type\":\"PostalAddress\",\"streetAddress\":\"29 Av. John F. Kennedy\",\"addressLocality\":\"Kirchberg\",\"postalCode\":\"1855\",\"addressCountry\":\"LU\"},\"description\":\"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"Research - Applied Security and Information Assurance - LCSB research group I 8xav福利导航 of Luxembourg","description":"APSIA\u2019s mission is to develop and evaluate techniques to mitigate the multitude of cyber threats, and make the digital world more secure.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/research\/","og_locale":"en_GB","og_type":"article","og_title":"Research","og_description":"APSIA\u2019s mission is to develop and evaluate techniques to mitigate the multitude of cyber threats, and make the digital world more secure.","og_url":"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/research\/","og_site_name":"SnT EN","article_modified_time":"2026-03-17T12:11:52+00:00","og_image":[{"width":2560,"height":2560,"url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Estimated reading time":"8 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/research\/","url":"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/research\/","name":"Research - Applied Security and Information Assurance - LCSB research group I 8xav福利导航 of Luxembourg","isPartOf":{"@id":"https:\/\/www.uni.lu\/snt-en\/#website"},"datePublished":"2023-06-26T17:05:56+00:00","dateModified":"2026-03-17T12:11:52+00:00","description":"APSIA\u2019s mission is to develop and evaluate techniques to mitigate the multitude of cyber threats, and make the digital world more secure.","breadcrumb":{"@id":"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/research\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/research\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/research\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.uni.lu\/en"},{"@type":"ListItem","position":2,"name":"Interdisciplinary Centre for Security, Reliability and Trust (SnT)","item":"https:\/\/www.uni.lu\/snt-en\/"},{"@type":"ListItem","position":3,"name":"Research Groups","item":"https:\/\/www.uni.lu\/snt-en\/research-groups\/"},{"@type":"ListItem","position":4,"name":"Applied Security and Information Assurance (APSIA)","item":"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/"},{"@type":"ListItem","position":5,"name":"Research"}]},{"@type":"WebSite","@id":"https:\/\/www.uni.lu\/snt-en\/#website","url":"https:\/\/www.uni.lu\/snt-en\/","name":"SnT","description":"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu","publisher":{"@id":"https:\/\/www.uni.lu\/snt-en\/#organization"},"alternateName":"Interdisciplinary Centre for Security, Reliability and Trust I 8xav福利导航 of Luxembourg","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.uni.lu\/snt-en\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"en-GB"},{"@type":"Organization","@id":"https:\/\/www.uni.lu\/snt-en\/#organization","name":"SnT - 8xav福利导航 of Luxembourg I Uni.lu","alternateName":"Interdisciplinary Centre for Security, Reliability and Trust","url":"https:\/\/www.uni.lu\/snt-en\/","logo":{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/www.uni.lu\/snt-en\/#\/schema\/logo\/image\/","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg","width":2560,"height":2560,"caption":"SnT - 8xav福利导航 of Luxembourg I Uni.lu"},"image":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/04\/24144329\/20200609-Belval-Campus_Henri-Goergen-23.jpg","sameAs":["https:\/\/www.linkedin.com\/school\/snt-lu\/"],"email":"communication@uni.lu","telephone":"+3524666441","address":{"@type":"PostalAddress","streetAddress":"29 Av. John F. Kennedy","addressLocality":"Kirchberg","postalCode":"1855","addressCountry":"LU"},"description":"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu"}]}},"_links":{"self":[{"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/research-groups\/704"}],"collection":[{"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/research-groups"}],"about":[{"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/types\/research-groups"}],"author":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/users\/154"}],"version-history":[{"count":5,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/research-groups\/704\/revisions"}],"predecessor-version":[{"id":21304,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/research-groups\/704\/revisions\/21304"}],"up":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/research-groups\/657"}],"wp:authorship":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/users\/154"}],"wp:attachment":[{"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/media?parent=704"}],"wp:term":[{"taxonomy":"field-of-interest","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/field-of-interest?post=704"},{"taxonomy":"organisation","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/organisation?post=704"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}