( en | de | ru )

 

Disambiguation of "Martinelli, Fabio"

Author of the publication

copydeleteadd this publication to your clipboard
Enhancing Java ME Security Support with Resource Usage Monitoring.

, , , , and . ERCIM News, (2008)

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.

Luisa Martinelli

Alessandro Martinelli

Bruno Martinelli

Andrés Martinelli

Fabio Sternberg

 

Other publications of authors with the same name

Modeling Privacy Aware Information Sharing Systems: A Formal and General Approach., , and . Trustcom/BigDataSE/ISPA, page 767-774. IEEE, (2016)On Probabilistic Application Compliance., , , and . Trustcom/BigDataSE/ISPA, page 1848-1855. IEEE, (2016)Detection of Obfuscation Techniques in Android Applications., , , , and . ARES, page 57:1-57:9. ACM, (2018)I find your behavior disturbing: Static and dynamic app behavioral analysis for detection of Android malware., , , and . PST, page 129-136. IEEE, (2016)Quantitative access control with partially-observable Markov decision processes., and . CODASPY, page 169-180. ACM, (2012)Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques., and . TACAS, volume 1579 of Lecture Notes in Computer Science, page 148-162. Springer, (1999)Privacy-Preserving Energy-Reading for Smart Meter., and . ICOST, volume 9102 of Lecture Notes in Computer Science, page 165-177. Springer, (2015)Towards an Integrated Formal Analysis for Security and Trust.. FMOODS, volume 3535 of Lecture Notes in Computer Science, page 115-130. Springer, (2005)A Prototype for Enforcing Usage Control Policies Based on XACML., , and . TrustBus, volume 7449 of Lecture Notes in Computer Science, page 79-92. Springer, (2012)Symbolic Semantics and Analysis for Crypto-CCS with (Almost) Generic Inference Systems.. MFCS, volume 2420 of Lecture Notes in Computer Science, page 519-531. Springer, (2002)