Author of the publication

Deciding Recognizability under Dolev-Yao Intruder Model.

, and . ISC, volume 6531 of Lecture Notes in Computer Science, page 416-429. Springer, (2010)

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

A fully pipelined hardware architecture for convolutional neural network with low memory usage and DRAM bandwidth., , , and . ASICON, page 237-240. IEEE, (2017)Analysis of the Magnetic Field in the Cavity of Multi-Layer Winding Electromagnetic Water Processor., , , , and . IEEE Access, (2019)The Improvement for Baran Phase Filter Derived From Unbiased InSAR Coherence., , , , , , and . IEEE J Sel. Topics in Appl. Earth Observ. and Remote Sensing, 7 (7): 3002-3010 (2014)Fault-tolerant control for a class of T-S fuzzy systems via delta operator approach., , , and . Signal Process., (2014)T pattern fuse construction in segment metallized film capacitors based on self-healing characteristics., , , , , , , and . Microelectron. Reliab., 55 (6): 945-951 (2015)Temperature dependence of self-healing characteristics of metallized polypropylene film., , , , , , , and . Microelectron. Reliab., 55 (12): 2721-2726 (2015)A global optimizing approach for waveform inversion of receiver functions., , , , and . Comput. Geosci., 36 (7): 871-880 (2010)An Adrenal Segmentation Model Based on Shape Associating Level Set in Sequence of CT Images., and . J. Signal Process. Syst., 91 (10): 1169-1177 (2019)FLDNet: Light Dense CNN for Fingerprint Liveness Detection., , , , , and . IEEE Access, (2020)Intuitive and effective interfaces for WWW image search engines., , , , , and . ACM Multimedia, page 748-749. ACM, (2004)