Author of the publication

Automated Verification of Noninterference Property.

, , , , , and . ICICS, volume 11149 of Lecture Notes in Computer Science, page 629-646. Springer, (2018)

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

coSense: Collaborative Urban-Scale Vehicle Sensing Based on Heterogeneous Fleets., , , , , , , and . Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2 (4): 196:1-196:25 (2018)An Efficient Gateway Election and Location Service in Ad Hoc Networks., , , and . ICNSC, page 252-256. IEEE, (2008)Sparse matrix-vector multiply on the Keystone II Digital Signal Processor., , and . HPEC, page 1-6. IEEE, (2014)Research on combined framework and measurement design of parallel kinematic machines (PKM) digital prototyping., , , and . SMC (5), page 4389-4393. IEEE, (2004)A Study on the Connotation, Measuring Dimensions and Influence Factors of Sense of Circle in Mobile Social Networks., , , and . Wireless Personal Communications, 98 (4): 3087-3108 (2018)SAR Raw Signal Simulation based on GPU Parallel Computation., , and . IGARSS (4), page 617-620. IEEE, (2009)A spaceborne SAR on-board processing simulator using mobile GPU., , , , and . IGARSS, page 1198-1201. IEEE, (2016)Atomic-free optimization on GPU based SAR raw data simulation., , , , and . IGARSS, page 645-648. IEEE, (2016)Intelligent Ammonia-Nitrogen Sensor Which Based on Ammonia Electrode., , , and . CCTA (2), volume 420 of IFIP Advances in Information and Communication Technology, page 534-543. Springer, (2013)Adjoint multivariable repetitive control algorithm for active control of vibration., , , and . PSYCO, page 228-233. International Federation of Automatic Control, (2007)