Tatjana Davidović: Introduction to AI4TrustBC project |
Simona Kašterović, Tamara Stefanović: Crypto-Covid: Privacy challenges in Blockchain and Contact Tracing |
Angelina Ilić-Stepić: Formal methods for analyzing BlockChain |
Dragan Urošević: Proof-of-Useful-Work: BlockChain Mining by Solving Real-life Optimization Problems |
Miodrag Mihaljević: Security/Privacy Evaluation of BlockChain Consensus/Ledger |