• Sign in
  • Sign up
conf.researchr.org / Musard Balliu
  • ASE 2019 profile
  • ETAPS 2019 profile
  • ICSME 2025 profile
  • POPL 2023 profile
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
Share
xWed 18 Jun 20:09
using conf.researchr.org (v1.69.0)
Support page
Sign Up