Formal Methods for Secure Blockchain-Oriented Programming

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
BlockSec
 
Project Title (de) Projekttitel (de)
Formal Methods for Secure Blockchain-Oriented Programming
 
Project Title (en) Projekttitel (en)
Formal Methods for Secure Blockchain-Oriented Programming
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
European Commission
Grant number Förderkennnummer
101141432
 

Publications

Results 1-4 of 4 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Aumayr-2026-BitVM Quasi-Turing Complete Computation on Bitcoin-vor.pdf.jpgAumayr, Lukas ; Avarikioti, Zeta ; Woll, Robin Linus ; Maffei, Matteo ; Pelosi, Andrea ; Stefo, Christos ; Zamyatin, Alexei BitVM: Quasi-Turing Complete Computation on BitcoinInproceedings Konferenzbeitrag 2-Oct-2026
2Avarikioti, Georgia ; Fuchsbauer, Georg ; Keer, Pim ; Maffei, Matteo ; Regen, Fabian A Composable Game-Theoretic Framework for BlockchainsInproceedings Konferenzbeitrag 2026
3Scherer, Markus ; Blaabjerg, Jeppe Fredsgaard ; Sjösten, Alexander ; Maffei, Matteo Wanilla: Sound Noninterference Analysis for WebAssemblyInproceedings Konferenzbeitrag 22-Nov-2025
4Benetollo, Lorenzo ; Lackner, Andreas ; Maffei, Matteo ; Scherer, Markus Let's Move2EVMInproceedings Konferenzbeitrag 13-Aug-2025