( en | de | ru )

 

Disambiguation of "Martinelli, Fabio"

Author of the publication

copydeleteadd this publication to your clipboard
Security-by-Contract-with-Trust for Mobile Devices.

, , , , , , , and . J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 1 (4): 75-91 (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.

Luisa Martinelli

Alessandro Martinelli

Bruno Martinelli

Andrés Martinelli

Fabio Sternberg

 

Other publications of authors with the same name

On absence of diffusion for low energy for a random Schrödinger operator on L2(R), and . Physica A: Statistical and Theoretical Physics, 124 (1-3): 413--417 (March 1984)Machine Learning Meets iOS Malware: Identifying Malicious Applications on Apple Environment., , and . ICISSP, page 487-492. SciTePress, (2017)Mobile Silent and Continuous Authentication using Apps Sequence., , , , , , and . SECRYPT, page 79-91. SciTePress, (2017)Mixing Time for the Solid-on-Solid Model, and . CoRR, (2010)Dynamics of Lattice Triangulations on Thin Rectangles., , , and . CoRR, (2015)Towards an Integrated Formal Analysis for Security and Trust.. FMOODS, volume 3535 of Lecture Notes in Computer Science, page 115-130. Springer, (2005)Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques., and . TACAS, volume 1579 of Lecture Notes in Computer Science, page 148-162. Springer, (1999)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)Quantitative access control with partially-observable Markov decision processes., and . CODASPY, page 169-180. ACM, (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)