|
cordis.europa.eu
|
<div class="d-flex flex-row">
<h3 class="card-title pb-2 w-75">GREET</h3>
<div class="flex-grow-1"></div>
<div class="d-flex flex-column w-25">
<div class="d-flex">
<img class="align-self-start w-100 mb-1" src="/funder_logos/horizon.jpg" alt="Funder logo">
</div>
<div class="d-flex">
<span class="badge badge-secondary p-0 w-100 text-wrap">HORIZON.1.2</span>
</div>
</div>
</div>
<div class="flex-grow-1 mt-2"></div>
Generative Explainee-aware Explainability and Transparency in Proactive Cyber-Physical Eco-Environments
<div class="flex-grow-1"></div>
|
|
doi.org
|
<div class="d-flex flex-row">
<h3 class="card-title pb-2 w-75">ROBUSTIFAI</h3>
<div class="flex-grow-1"></div>
<div class="d-flex flex-column w-25">
<div class="d-flex">
<img class="align-self-start w-100 mb-1" src="/funder_logos/horizon.jpg" alt="Funder logo">
</div>
<div class="d-flex">
<span class="badge badge-secondary p-0 w-100 text-wrap">HORIZON.2.4</span>
</div>
</div>
</div>
<div class="flex-grow-1 mt-2"></div>
Robustifying generative AI through human-centric integration of neural and symbolic methods
<div class="flex-grow-1"></div>
|
|
doi.org
|
<div class="d-flex flex-row">
<h3 class="card-title pb-2 w-75">VASSAL</h3>
<div class="flex-grow-1"></div>
<div class="d-flex flex-column w-25">
<div class="d-flex">
<img class="align-self-start w-100 mb-1" src="/funder_logos/horizon.jpg" alt="Funder logo">
</div>
<div class="d-flex">
<span class="badge badge-secondary p-0 w-100 text-wrap">HORIZON.4.1</span>
</div>
</div>
</div>
<div class="flex-grow-1 mt-2"></div>
Verification and Analysis for Safety and Security of Applications in Life
<div class="flex-grow-1"></div>
|
|
doi.org
|
<div class="d-flex flex-row">
<h3 class="card-title pb-2 w-75">ARTIST</h3>
<div class="flex-grow-1"></div>
<div class="d-flex flex-column w-25">
<div class="d-flex">
<img class="align-self-start w-100 mb-1" src="/funder_logos/ERC.png" alt="Funder logo">
</div>
</div>
</div>
<div class="flex-grow-1 mt-2"></div>
Automated Reasoning with Theories and Induction for Software Technologies
<div class="flex-grow-1"></div>
|
|
doi.org
|
<div class="d-flex flex-row">
<h3 class="card-title pb-2 w-75">BlockSec</h3>
<div class="flex-grow-1"></div>
<div class="d-flex flex-column w-25">
<div class="d-flex">
<img class="align-self-start w-100 mb-1" src="/funder_logos/ERC.png" alt="Funder logo">
</div>
</div>
</div>
<div class="flex-grow-1 mt-2"></div>
Formal Methods for Secure Blockchain-Oriented Programming
<div class="flex-grow-1"></div>
|
|
doi.org
|
<div class="d-flex flex-row">
<h3 class="card-title pb-2 w-75">LEARN</h3>
<div class="flex-grow-1"></div>
<div class="d-flex flex-column w-25">
<div class="d-flex">
<img class="align-self-start w-100 mb-1" src="/funder_logos/ERC.png" alt="Funder logo">
</div>
</div>
</div>
<div class="flex-grow-1 mt-2"></div>
Learning Efficient Automated Reasoning on the Net
<div class="flex-grow-1"></div>
|
|
doi.org
|
<div class="d-flex flex-row">
<h3 class="card-title pb-2 w-75">MirandaTesting</h3>
<div class="flex-grow-1"></div>
<div class="d-flex flex-column w-25">
<div class="d-flex">
<img class="align-self-start w-100 mb-1" src="/funder_logos/ERC.png" alt="Funder logo">
</div>
</div>
</div>
<div class="flex-grow-1 mt-2"></div>
Testing Program Analyzers Ad Absurdum
<div class="flex-grow-1"></div>
|
|
fwf.ac.at
|
<div class="d-flex flex-row">
<h3 class="card-title pb-2 w-75">AR</h3>
<div class="flex-grow-1"></div>
<div class="d-flex flex-column w-25">
<div class="d-flex">
<img class="align-self-start w-100 mb-1" src="/funder_logos/FWF.png" alt="Funder logo">
</div>
<div class="d-flex">
<span class="badge badge-secondary p-0 w-100 text-wrap">doc.funds</span>
</div>
</div>
</div>
<div class="flex-grow-1 mt-2"></div>
Automated Reasoning
<div class="flex-grow-1"></div>
|
|
fwf.ac.at
|
<div class="d-flex flex-row">
<h3 class="card-title pb-2 w-75">FREELY</h3>
<div class="flex-grow-1"></div>
<div class="d-flex flex-column w-25">
<div class="d-flex">
<img class="align-self-start w-100 mb-1" src="/funder_logos/FWF.png" alt="Funder logo">
</div>
<div class="d-flex">
<span class="badge badge-secondary p-0 w-100 text-wrap">Weave</span>
</div>
</div>
</div>
<div class="flex-grow-1 mt-2"></div>
FREquency-Enhanced verification and vaLidation of CPS
<div class="flex-grow-1"></div>
|
|
fwf.ac.at
|
<div class="d-flex flex-row">
<h3 class="card-title pb-2 w-75">UnAxiMa</h3>
<div class="flex-grow-1"></div>
<div class="d-flex flex-column w-25">
<div class="d-flex">
<img class="align-self-start w-100 mb-1" src="/funder_logos/FWF.png" alt="Funder logo">
</div>
<div class="d-flex">
<span class="badge badge-secondary p-0 w-100 text-wrap">Emerging Fields</span>
</div>
</div>
</div>
<div class="flex-grow-1 mt-2"></div>
Uncovering the Axioms of Mathematics
<div class="flex-grow-1"></div>
|
|
wwtf.at
|
<div class="d-flex flex-row">
<h3 class="card-title pb-2 w-75">BREADS</h3>
<div class="flex-grow-1"></div>
<div class="d-flex flex-column w-25">
<div class="d-flex">
<img class="align-self-start w-100 mb-1" src="/funder_logos/WWTF.png" alt="Funder logo">
</div>
<div class="d-flex">
<span class="badge badge-secondary p-0 w-100 text-wrap">VRG23</span>
</div>
</div>
</div>
<div class="flex-grow-1 mt-2"></div>
Building Robust and Explainable AI-based Defenses for Computer Security
<div class="flex-grow-1"></div>
|
|
wwtf.at
|
<div class="d-flex flex-row">
<h3 class="card-title pb-2 w-75">Broken Bridge</h3>
<div class="flex-grow-1"></div>
<div class="d-flex flex-column w-25">
<div class="d-flex">
<img class="align-self-start w-100 mb-1" src="/funder_logos/WWTF.png" alt="Funder logo">
</div>
<div class="d-flex">
<span class="badge badge-secondary p-0 w-100 text-wrap">ICT-22</span>
</div>
</div>
</div>
<div class="flex-grow-1 mt-2"></div>
Fixing the Broken Bridge Between Mobile Apps and the Web
<div class="flex-grow-1"></div>
|
|
wwtf.at
|
<div class="d-flex flex-row">
<h3 class="card-title pb-2 w-75">COnFIDE</h3>
<div class="flex-grow-1"></div>
<div class="d-flex flex-column w-25">
<div class="d-flex">
<img class="align-self-start w-100 mb-1" src="/funder_logos/WWTF.png" alt="Funder logo">
</div>
<div class="d-flex">
<span class="badge badge-secondary p-0 w-100 text-wrap">VRG-18</span>
</div>
</div>
</div>
<div class="flex-grow-1 mt-2"></div>
Cryptographic Foundations of Privacy in Distributed Ledgers
<div class="flex-grow-1"></div>
|
|
wwtf.at
|
<div class="d-flex flex-row">
<h3 class="card-title pb-2 w-75">CROSS</h3>
<div class="flex-grow-1"></div>
<div class="d-flex flex-column w-25">
<div class="d-flex">
<img class="align-self-start w-100 mb-1" src="/funder_logos/WWTF.png" alt="Funder logo">
</div>
<div class="d-flex">
<span class="badge badge-secondary p-0 w-100 text-wrap">ICT25</span>
</div>
</div>
</div>
<div class="flex-grow-1 mt-2"></div>
Optimal Cross-Chain and Cross-Layer Protocols
<div class="flex-grow-1"></div>
|
|
wwtf.at
|
<div class="d-flex flex-row">
<h3 class="card-title pb-2 w-75">CrossPings</h3>
<div class="flex-grow-1"></div>
<div class="d-flex flex-column w-25">
<div class="d-flex">
<img class="align-self-start w-100 mb-1" src="/funder_logos/WWTF.png" alt="Funder logo">
</div>
<div class="d-flex">
<span class="badge badge-secondary p-0 w-100 text-wrap">ICT25</span>
</div>
</div>
</div>
<div class="flex-grow-1 mt-2"></div>
Cross-Domain Privacy-Preserving Protocols and Symmetric Cryptography
<div class="flex-grow-1"></div>
|
|
wwtf.at
|
<div class="d-flex flex-row">
<h3 class="card-title pb-2 w-75">ForSmart</h3>
<div class="flex-grow-1"></div>
<div class="d-flex flex-column w-25">
<div class="d-flex">
<img class="align-self-start w-100 mb-1" src="/funder_logos/WWTF.png" alt="Funder logo">
</div>
<div class="d-flex">
<span class="badge badge-secondary p-0 w-100 text-wrap">ICT-22</span>
</div>
</div>
</div>
<div class="flex-grow-1 mt-2"></div>
Effective Formal Methods for Smart-Contract Certification
<div class="flex-grow-1"></div>
|
|
wwtf.at
|
<div class="d-flex flex-row">
<h3 class="card-title pb-2 w-75">ICT25-051</h3>
<div class="flex-grow-1"></div>
<div class="d-flex flex-column w-25">
<div class="d-flex">
<img class="align-self-start w-100 mb-1" src="/funder_logos/WWTF.png" alt="Funder logo">
</div>
<div class="d-flex">
<span class="badge badge-secondary p-0 w-100 text-wrap">ICT25</span>
</div>
</div>
</div>
<div class="flex-grow-1 mt-2"></div>
Verifying Without Loss of Generality
<div class="flex-grow-1"></div>
|
|
wwtf.at
|
<div class="d-flex flex-row">
<h3 class="card-title pb-2 w-75">ICT25-081</h3>
<div class="flex-grow-1"></div>
<div class="d-flex flex-column w-25">
<div class="d-flex">
<img class="align-self-start w-100 mb-1" src="/funder_logos/WWTF.png" alt="Funder logo">
</div>
<div class="d-flex">
<span class="badge badge-secondary p-0 w-100 text-wrap">ICT25</span>
</div>
</div>
</div>
<div class="flex-grow-1 mt-2"></div>
Foundations and Applications of Resource-Restricted Cryptography
<div class="flex-grow-1"></div>
|
|
wwtf.at
|
<div class="d-flex flex-row">
<h3 class="card-title pb-2 w-75">PROMT</h3>
<div class="flex-grow-1"></div>
<div class="d-flex flex-column w-25">
<div class="d-flex">
<img class="align-self-start w-100 mb-1" src="/funder_logos/WWTF.png" alt="Funder logo">
</div>
<div class="d-flex">
<span class="badge badge-secondary p-0 w-100 text-wrap">ICT25</span>
</div>
</div>
</div>
<div class="flex-grow-1 mt-2"></div>
Probably the Best Moment to Terminate
<div class="flex-grow-1"></div>
|
|
wwtf.at
|
<div class="d-flex flex-row">
<h3 class="card-title pb-2 w-75">SCALE2</h3>
<div class="flex-grow-1"></div>
<div class="d-flex flex-column w-25">
<div class="d-flex">
<img class="align-self-start w-100 mb-1" src="/funder_logos/WWTF.png" alt="Funder logo">
</div>
<div class="d-flex">
<span class="badge badge-secondary p-0 w-100 text-wrap">ICT-22</span>
</div>
</div>
</div>
<div class="flex-grow-1 mt-2"></div>
Scalable, Private, and Interoperable Layer 2
<div class="flex-grow-1"></div>
|
|
tiss.tuwien.ac.at
|
<div class="d-flex flex-row">
<h3 class="card-title pb-2 w-75">Browsec</h3>
<div class="flex-grow-1"></div>
<div class="d-flex flex-column w-25">
<div class="d-flex">
<img class="align-self-start w-100 mb-1" src="/funder_logos/ERC.png" alt="Funder logo">
</div>
</div>
</div>
<div class="flex-grow-1 mt-2"></div>
Foundations and Tools for Client-Side Web Security
<div class="flex-grow-1"></div>
|