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)Unified Analysis of SWIPT Relay Networks with Noncoherent Modulation., , , and . CoRR, (2017)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)Memristor-Based Hardware Accelerator for Image Compression., , , and . IEEE Trans. Very Large Scale Integr. Syst., 26 (12): 2749-2758 (2018)Modeling and Optimization of Memristor and STT-RAM-Based Memory for Low-Power Applications., , , , and . IEEE Trans. Very Large Scale Integr. Syst., 24 (3): 1003-1014 (2016)Stateful Memristor-Based Search Architecture., , , , and . IEEE Trans. Very Large Scale Integr. Syst., 26 (12): 2773-2780 (2018)Fast Switching Fractional-N Frequency Synthesizer Architecture Using TDTL., , and . Int. J. Commun. Netw. Syst. Sci., 2 (9): 879-887 (2009)Improved First-Order Time-Delay Tanlock Loop Architectures., , and . IEEE Trans. Circuits Syst. I Regul. Pap., 53-I (9): 1896-1908 (2006)An Accurate Localization Technique for Wireless Sensor Networks Using MUSIC Algorithm., , , and . J. Commun., 7 (4): 281-289 (2012)