Author of the publication

Extended abstract: Theorem proving verification of privacy in WBSN for healthcare systems.

, , and . ICECS, page 100-101. IEEE, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Translating BPMN to Business Rules., , , , and . SIMPDA (Revised Selected Papers), volume 307 of Lecture Notes in Business Information Processing, page 22-36. Springer, (2016)Toward Federated-Learning-Enabled Visible Light Communication in 6G Systems., , , , , , and . IEEE Wirel. Commun., 29 (1): 48-56 (2022)UNSAIL: Thwarting Oracle-Less Machine Learning Attacks on Logic Locking., , , , , , and . CoRR, (2020)Supply current monitor and set-up for fault detection in analogue circuits.. ICECS, page 441-444. IEEE, (2002)Towards collaborative support system for teamwork between robots and human in hazard incidents., , and . ICECS, page 96-97. IEEE, (2013)Extended abstract: Theorem proving verification of privacy in WBSN for healthcare systems., , and . ICECS, page 100-101. IEEE, (2013)Improved First-Order Time-Delay Tanlock Loop Architectures., , and . IEEE Trans. Circuits Syst. I Regul. Pap., 53-I (9): 1896-1908 (2006)Resistive switching in sol-gel derived microscale memristors., , , , and . MWSCAS, page 1-4. IEEE, (2016)Efficient Mux-Based Multiplier for MAC Unit., , , , and . ICM, page 1-4. IEEE, (2023)Joint Power Allocation and LED Transmission Angle Tuning in NOMA-Enabled VLC Networks., , , , , and . 6GNet, page 1-5. IEEE, (2022)