Browsing eNauka
Browsing by Project AI4TrustBC
Showing results 1 to 20 of 38
next >
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2020 | A Blockchain Consensus Protocol Based on Dedicated Time-Memory-Data Trade-Off | Mihaljević, Miodrag J.   | Article | 21aM21a |
| 2022 | A Logic of Interactive Proofs | Lehnherr, David; Studer, Thomas; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2022 | A logic of interactive proofs | Lehnherr, David; Ognjanović, Zoran ; Studer, Thomas | Article | 21M21 |
| 2021 | A Logic of Interactive Proofs | Lehnherr, David; Ognjanović, Zoran ; Studer, Thomas | Conference Paper | Mp. category will be shown later |
| 2022 | A Probabilistic Logic Between LPP1 and LPP2 | Dautović, Šejla | Article | 21M21 |
| 2021 | A Probabilistic Temporal Epistemic Logic | Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | Conference Paper | Mp. category will be shown later |
| 2023 | A probabilistic temporal epistemic logic: Decidability | Ognjanović, Zoran ; Ilić-Stepić, Angelina ; Perović, Aleksandar | Article | 21aM21a |
| 2024 | A Probabilistic Temporal Epistemic Logic: Strong Completeness | Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, Aleksandar | Article | 21aM21a |
| 2023 | An Approach for Blockchain and Symmetric Keys Broadcast Encryption Based Access Control in IoT | Mihaljević, Miodrag J. ; Knežević, Milica ; Urošević, Dragan ; Wang, Lianhai; Xu, Shujiang | Article | 21M21 |
| 2021 | An Epistemic Probabilistic Logic with Conditional Probabilities | Dautović, Šejla ; Doder, Dragan ; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2020 | An overview of Mathematical Models of Data Privacy | Stefanović, Tamara ; Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2021 | Analysis and Correction of the Attack against the LPN-Problem Based Authentication Protocols | Tomović, Siniša ; Knežević, Milica ; Mihaljević, Miodrag J. | Article | 21a+M21a+ |
| 2020 | Bitcoin, Blockchain Technology and Cryptography - An Illustration of Certain Issues | Mihaljević, Miodrag J. | Article | Mp. category will be shown later |
| 2022 | COCP: Blockchain Proof-of-Useful-Work Leveraging Real-Life Applications | Davidović, Tatjana ; Todorović, Milan ; Ramljak, Dusan; Jakšić Kruger, Tatjana ; Matijević, Luka ; Jovanović, Đorđe ; Urošević, Dragan | Conference Paper | Mp. category will be shown later |
| 2021 | Combinatorial optimization for self contained blockchain: An example of useful synergy | Ramljak, Dušan; Davidović, Tatjana ; Urošević, Dragan ; Jakšić Kruger, Tatjana ; Matijević, Luka ; Todorović, Milan ; Jovanović, Đorđe | Conference Paper | Mp. category will be shown later |
| 2022 | Comparative Analysis of Heuristic Approaches to P | Ostojić, Dragutin ; Davidović, Tatjana ; Jakšić Krüger, Tatjana; Ramljak, Dušan | Article | Mp. category will be shown later |
| 2022 | Crypto-Covid: Privacy challenges in BlockChain and Contact Tracing | Stefanović, Tamara ; Ghilezan, Silvia ; Kašterović, Simona | Conference Paper | Mp. category will be shown later |
| 2021 | Differential Privacy and Applications | Stefanović, Tamara ; Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2022 | Dispersion Problem Under Capacity and Cost Constraints: Multiple Neighborhood Tabu Search | Mladenović, Nenad ; Todosijević, Raca ; Urošević, Dragan | Conference Paper | Mp. category will be shown later |
| 2023 | Exploring Arbitrary Real-Life Problems in Proof-of-Useful-Work: Myth Busting? | Davidović, Tatjana ; Todorović, Milan ; Sharma, Bharat; Ramljak, Dušan | Conference Paper | Mp. category will be shown later |