@ARTICLE{
author={Knezevic Milica M,Tomovic Sinisa,Mihaljevic Miodrag J},
year={2025},
title={Attack Scenarios and Security Analysis of a Blockchain and PUF-Based Lightweight Authentication Protocol for Wireless Medical Sensor Networks},
journal={IEEE INTERNET OF THINGS JOURNAL},
volume={12},
number={23},
pages={51010-51025},
document_type={Article},
} 

@ARTICLE{
author={Tomovic Sinisa,Knezevic Milica M,Mihaljevic Miodrag J},
year={2021},
title={Analysis and Correction of the Attack against the LPN-Problem Based Authentication Protocols},
journal={MATHEMATICS},
volume={9},
number={5},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Knezevic Milica M,Tomovic Sinisa,Mihaljevic Miodrag J},
year={2020},
title={Man-In-The-Middle Attack against Certain Authentication Protocols Revisited: Insights into the Approach and Performances Re-Evaluation},
journal={ELECTRONICS},
volume={9},
number={8},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Tomovic Sinisa,Ognjanovic Zoran D,Doder Dragan J},
year={2020},
title={A First-order Logic for Reasoning about Knowledge and Probability},
journal={ACM TRANSACTIONS ON COMPUTATIONAL LOGIC},
volume={21},
number={2},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Tomovic Sinisa,Mihaljevic Miodrag J,Perovic Aleksandar M,Ognjanovic Zoran D},
year={2016},
title={A Protocol for Provably Secure Authentication of a Tiny Entity to a High Performance Computing One},
journal={MATHEMATICAL PROBLEMS IN ENGINEERING},
volume={},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Tomovic Sinisa,Ognjanovic Zoran D,Doder Dragan J},
year={2015},
title={Probabilistic Common Knowledge Among Infinite Number of Agents},
journal={SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2015},
volume={9161},
number={},
pages={496-505},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Mihajlovic Aleksandar,Jelisavcic Vladislav S,Marinkovic Bojan B,Todorovic Milan,Ognjanovic Zoran D,Tomovic Sinisa,Stojanovic Vladimir,Milutinovic Veljko M},
year={2014},
title={Serbia Forum - Digital Cultural Heritage Portal},
journal={IMAGE AND SIGNAL PROCESSING, ICISP 2014},
volume={8509},
number={},
pages={265-271},
document_type={Proceedings Paper},
}