Funding
Regional, national and European research projects the lab takes part in.
PR FESR FVG 2021–2027 · Proof of Concept
Implementation of the TRUTHSTER platform for certifying digital media via blockchain
Brings the TRUTHSTER platform to a market-ready service: a mobile app connected to a blockchain that certifies authorship, consent and authenticity of digital media.
MUR PRIN 2022
Spatio-Temporal Enhancement of Neural Nets for Deeply Hierarchical Automatised Logic
Spatio-temporal model checking of image sequences, integrated with neural networks, with case studies in healthcare and cyber-physical systems. Led by the University of Pisa with CNR.
University of Udine
Inter-departmental Strategic Project on Artificial Intelligence
University-wide project connecting research, institutions and industry in Friuli-Venezia Giulia on AI. We contribute on AI for cybersecurity, building collaborations with local companies.
NRRP (PNRR) Extended Partnership
SEcurity and Rights In the CyberSpace
National research foundation on cybersecurity (11 universities, 7 research centres, 6 companies). We take part in the spoke "Software and Platform Security" and in the project Securing Containers (SecCo).
EU COST Action CA20111
European Research Network on Formal Proofs
Network of the developers and users of proof systems in Europe, aiming at the interoperability and usability of proof assistants. Continuation of the TYPES projects.
RAFVG PSR 16.7 2014–2020
Rural development of the Magredi, Risorgive and Pordenone plain area
EU-funded rural development programme. We applied Distributed Ledger Technologies to trace the meat of the Pezzata Rossa Italiana cattle breed.
MIUR PRIN 2017
Methods and Tools for Trustworthy Smart Systems
Formal methods for the specification, implementation and runtime monitoring of trustworthy smart systems. One of its results is the AbU calculus and language.
NGI TruBlo · H2020-ICT-2018-2020 957228
Certification of media content on distributed ledgers
A tool for media professionals to certify content created with users (e.g. interviews) and generate legal disclaimers, using the Alastria DLT as a trusted platform.