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

PreviewAuthor(s)TitleTypeIssue Date
1Scherer, Markus ; Blaabjerg, Jeppe Fredsgaard ; Sjösten, Alexander ; Maffei, Matteo Wanilla: Sound Noninterference Analysis for WebAssemblyInproceedings Konferenzbeitrag 22-Nov-2025
2Benetollo, Lorenzo ; Lackner, Andreas ; Maffei, Matteo ; Scherer, Markus Let's Move2EVMInproceedings Konferenzbeitrag 13-Aug-2025