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)

Search in publications

The most downloaded

1175 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

46 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

https://hdl.handle.net/10993/43529

https://hdl.handle.net/10993/40472

Peer reviewed

RAHLI, V., VUKOTIC, I., VOLP, M., & VERISSIMO, P. (2018). Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq. In ESOP 2018.

https://hdl.handle.net/10993/35304

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

https://hdl.handle.net/10993/29216

Peer reviewed