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-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Avarikioti, Georgia ; Fuchsbauer, Georg ; Keer, Pim ; Maffei, Matteo ; Regen, Fabian A Composable Game-Theoretic Framework for BlockchainsInproceedings Konferenzbeitrag 2026
2Scherer, Markus ; Blaabjerg, Jeppe Fredsgaard ; Sjösten, Alexander ; Maffei, Matteo Wanilla: Sound Noninterference Analysis for WebAssemblyInproceedings Konferenzbeitrag 22-Nov-2025
3Benetollo, Lorenzo ; Lackner, Andreas ; Maffei, Matteo ; Scherer, Markus Let's Move2EVMInproceedings Konferenzbeitrag 13-Aug-2025