Author of the publication

Analyzing Security Protocol Web Implementations Based on Model Extraction With Applied PI Calculus.

, , , , , and . IEEE Access, (2020)

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

Hierarchical Multi-Authority and Attribute-Based Encryption Friend Discovery Scheme in Mobile Social Networks., , and . IEEE Communications Letters, 20 (9): 1772-1775 (2016)A Low-Rate DoS Attack Detection Method Based on Hilbert Spectrum and Correlation., , , , , and . SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, page 1358-1363. IEEE, (2018)A Novel Verifiable and Dynamic Fuzzy Keyword Search Scheme over Encrypted Data in Cloud Computing., , and . Trustcom/BigDataSE/ISPA, page 845-851. IEEE, (2016)An Empirical Study of Developer Quality., , , , and . QRS Companion, page 202-209. IEEE, (2015)Secure distributed keyword search in multiple clouds., , , , and . IWQoS, page 370-379. IEEE, (2014)A secure hierarchical deduplication system in cloud storage., , , and . IWQoS, page 1-10. IEEE, (2016)Using a Large-scale Neural Model of Cortical Object Processing to Investigate the Neural Substrate for Managing Multiple Items in Short-term Memory., , and . J. Cognitive Neuroscience, 29 (11): 1860-1876 (2017)Adaptive radar detection and estimation: edited by Simon Haykin, Communication Research Laboratory, McMaster University, Hamilton, Ontario, Canada and Allan Steinhardt, Department of Electrical Engineering, Cornel University, Ithaca, New York, Wiley Series in Remote Sensing. Publishers: John Wiley and Sons, 1992, ISBN 0-471-544468-X.. Signal Process., 31 (2): 236 (1993)A Fourier integral algorithm and its GPU/CPU collaborative implementation for one-way wave equation migration., , , and . Comput. Geosci., (2012)Mubug: a mobile service for rapid bug tracking., , , , and . Sci. China Inf. Sci., 59 (1): 1-5 (2016)