Musard Balliu -

Registered user since Tue 18 Sep 2018

Name:Musard Balliu

Country:Sweden

Affiliation:KTH Royal Institute of Technology

Personal website: http://www.csc.kth.se/~musard/

Contributions

2025

ICSME

Author of Trust and Verify: Formally Verified and Upgradable Trusted Functions within the Research Papers Track-track

2023

PriSC

Committee Member in Program Committee within the PriSC 2023-track

2019

JPF

Committee Member in Program Committee within the JPF 2019-track

POST

Committee Member in Program Committee within the POST 2019-track