PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Dong, Naipeng"

Author of the publication

copydeleteadd this publication to your clipboard
LightSense: A Novel Side Channel for Zero-permission Mobile User Tracking.

, , , , , , and . ISC, volume 11723 of Lecture Notes in Computer Science, page 299-318. Springer, (2019)

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.

Laura-Ann Dönges University of Stuttgart

 

Other publications of authors with the same name

Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus., , and . Formal Aspects in Security and Trust, volume 6561 of Lecture Notes in Computer Science, page 223-238. Springer, (2010)A Verification Framework for Stateful Security Protocols., , , , , , and . ICFEM, volume 10610 of Lecture Notes in Computer Science, page 262-280. Springer, (2017)The Foul Adversary: Formal Models., and . ICFEM, volume 11232 of Lecture Notes in Computer Science, page 37-53. Springer, (2018)Verification of Strong Nash-equilibrium for Probabilistic BAR Systems., , , and . ICFEM, volume 11232 of Lecture Notes in Computer Science, page 106-123. Springer, (2018)Deep Review Sharing., , , , , , , and . SANER, page 61-72. IEEE, (2019)Formal Analysis of Privacy in an eHealth Protocol., , and . ESORICS, volume 7459 of Lecture Notes in Computer Science, page 325-342. Springer, (2012)Formal modelling and analysis of receipt-free auction protocols in applied pi., , and . Computers & Security, (2017)Enforcing Privacy in the Presence of Others: Notions, Formalisations and Relations., , and . ESORICS, volume 8134 of Lecture Notes in Computer Science, page 499-516. Springer, (2013)App genome: callback sequencing in Android., , , , , , and . ICSE (Companion Volume), page 149-151. IEEE Computer Society, (2017)Automatic Construction of Callback Model for Android Application., , , , , and . ICECCS, page 231-234. IEEE Computer Society, (2016)