Profil

VUKOTIC Ivana

Main Referenced Co-authors
RAHLI, Vincent  (3)
ESTEVES-VERISSIMO, Paulo  (2)
VÖLP, Marcus  (2)
Bohrer, Brandon (1)
Platzer, Andre (1)
Main Referenced Keywords
Coq (2); Byzantine fault (1); Byzantine faults (1); Compositional reasoning (1); Fault-tolerance (1);
Main Referenced Unit & Research Centers
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Critical and Extreme Security and Dependability Research Group (CritiX) (1)
Main Referenced Disciplines
Computer science (4)

Publications (total 4)

The most downloaded
1165 downloads
Vukotic, I., Rahli, V., & Verissimo, P. (2019). Asphalion: Trustworthy Shielding Against Byzantine Faults. In I. Vukotic, V. Rahli, ... P. Verissimo, Asphalion: Trustworthy Shielding Against Byzantine Faults. https://hdl.handle.net/10993/40472

The most cited

43 citations (Scopus®)

Bohrer, B., Rahli, V., Vukotic, I., Volp, M., & Platzer, A. (2017). Formally Verified Differential Dynamic Logic. In CPP 2017. doi:10.1145/3018610.3018616 https://hdl.handle.net/10993/29216

Vukotic, I. (2020). Formal Framework for Verifying Implementations of Byzantine Fault-Tolerant Protocols Under Various Models [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/43529

Vukotic, I., Rahli, V., & Verissimo, P. (2019). Asphalion: Trustworthy Shielding Against Byzantine Faults. In I. Vukotic, V. Rahli, ... P. Verissimo, Asphalion: Trustworthy Shielding Against Byzantine Faults.
Peer reviewed

Rahli, V., Vukotic, I., Volp, M., & Verissimo, P. (2018). Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq. In ESOP 2018.
Peer reviewed

Bohrer, B., Rahli, V., Vukotic, I., Volp, M., & Platzer, A. (2017). Formally Verified Differential Dynamic Logic. In CPP 2017. doi:10.1145/3018610.3018616
Peer reviewed

Contact ORBilu