Author of the publication

Formal Verification of the mERA-Based eServices with Trusted Third Party Protocol.

, and . SEC, volume 376 of IFIP Advances in Information and Communication Technology, page 299-314. Springer, (2012)

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

DoSE: Deobfuscation based on Semantic Equivalence., , , and . SSPREW@ACSAC, page 1:1-1:12. ACM, (2018)Formal Verification of the mERA-Based eServices with Trusted Third Party Protocol., and . SEC, volume 376 of IFIP Advances in Information and Communication Technology, page 299-314. Springer, (2012)Feasibility and Benchmarking of Post-Quantum Cryptography in the Cooperative ITS Ecosystem., , , , and . VNC, page 215-222. IEEE, (2023)Spatial planning for cognitive navigation: creating 'FUMapp' application based on spatial and cognitive data: an intersection between architectural, cognitive, and computational tools. National Technical University of Athens, Greece, (2023)National Archive of PhD Theses: oai:10442/54779.Virtual environments design assessment for the treatment of claustrophobia., and . VSMM, page 1-8. IEEE, (2016)The Use of Storytelling in Virtual Reality for Studying Empathy: A Review., , and . IMET, page 1-8. IEEE, (2022)Virtual reality for inducing empathy and reducing prejudice towards stigmatized groups: A survey., and . VSMM, page 1-8. IEEE, (2017)Corrigendum: A Virtual Tour of a Hardly Accessible Archaeological Site: The Effect of Immersive Virtual Reality in User Experience, Learning and Attitude Change., , , , and . Frontiers Comput. Sci., (2021)Preparing Student Mobility Through a VR Application for Cultural Education., , , and . DCH@ICE/ITMC, volume 10754 of Lecture Notes in Computer Science, page 218-227. Springer, (2017)A Case Study of Interactive Tabletops in Education: Attitudes, Issues of Orientation and Asymmetric Collaboration., , and . EC-TEL, volume 8095 of Lecture Notes in Computer Science, page 466-471. Springer, (2013)