• Sign in
  • Sign up
conf.researchr.org / Ivana Vukotic
  • POPL 2017 profile
  • SPLASH 2019 profile

Not registered as user

Name:Ivana Vukotic

Contributions

2019

SPLASH

  • Author of Asphalion: Trustworthy Shielding Against Byzantine Faults within the OOPSLA Artifacts-track
  • Author of Asphalion: Trustworthy Shielding against Byzantine Faults within the Posters-track
  • Author of Asphalion: Trustworthy Shielding against Byzantine Faults within the OOPSLA-track

2017

CPP

  • Author of Formally verified differential dynamic logic within the CPP-track
Share
xSun 15 Jun 00:55
using conf.researchr.org (v1.69.0)
Support page
Sign Up