Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Methodological Security Verification of a Registration Protocol.

J. Diaz, D. Arroyo, and F. Rodriguez. SOCO-CISIS-ICEUTE, volume 299 of Advances in Intelligent Systems and Computing, page 453-462. Springer, (2014)

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.

Angel Diaz Carral University of Stuttgart

Ange Catalina Diaz Barrera University of Stuttgart

Laura Torralba Diaz University of Stuttgart

Braulio Jesús Garcia Ayala University of Stuttgart

Jesus Antonio Martinez Zarate University of Stuttgart

Other publications of authors with the same name

Multimodale Bildregistrierung von fpVCT- und OCT-Daten zur Realisierung hochgenauer medizinischer Navigation.J. Díaz, H. Eilers, A. Niemann, M. Leinung, O. Majdani, and T. Ortmaier. CURAC, volume 1475 of CEUR Workshop Proceedings, page 165-168. Der Andere Verlag, Düsseldorf, (2010)Korrektur geometrischer Verzeichnungen zur Kalibrierung von optischen Kohärenztomographiesystemen.J. Stritzel, J. Díaz, M. Rahlves, O. Majdani, T. Ortmaier, E. Reithmeier, and B. Roth. Bildverarbeitung für die Medizin, page 233-238. Springer, (2015)Towards Intra-operative OCT Guidance for Automatic Head Surgery: First Experimental Results.J. Díaz, D. Kundrat, K. Goh, O. Majdani, and T. Ortmaier. MICCAI (3), volume 8151 of Lecture Notes in Computer Science, page 347-354. Springer, (2013)Normal distributions transform in multi-modal image registration of optical coherence tomography and computed tomography datasets.J. Díaz, M. Riva, O. Majdani, and T. Ortmaier. Medical Imaging: Image Processing, volume 9034 of SPIE Proceedings, page 90343L. SPIE, (2014)Localization accuracy of sphere fiducials in computed tomography images.J. Kobler, J. Díaz, J. Fitzpatrick, G. Lexow, O. Majdani, and T. Ortmaier. Medical Imaging: Image-Guided Procedures, volume 9036 of SPIE Proceedings, page 90360Z. SPIE, (2014)A formal methodology for integral security design and verification of network protocols.J. Diaz, D. Arroyo, and F. Rodriguez. Journal of Systems and Software, (2014)On the Difficult Tradeoff Between Security and Privacy: Challenges for the Management of Digital Identities.D. Arroyo, J. Diaz, and V. Gayoso. CISIS-ICEUTE, volume 369 of Advances in Intelligent Systems and Computing, page 455-462. Springer, (2015)On securing online registration protocols: Formal verification of a new proposal.J. Diaz, D. Arroyo, and F. Rodriguez. Knowl.-Based Syst., (2014)Cryptanalysis of a one round chaos-based Substitution Permutation Network.D. Arroyo, J. Diaz, and F. Rodriguez. Signal Processing, 93 (5): 1358-1364 (2013)Methodological Security Verification of a Registration Protocol.J. Diaz, D. Arroyo, and F. Rodriguez. SOCO-CISIS-ICEUTE, volume 299 of Advances in Intelligent Systems and Computing, page 453-462. Springer, (2014)