( en | de | ru )

 

Disambiguation of "Martinelli, Fabio"

Author of the publication

copydeleteadd this publication to your clipboard
On the Synthesis of Secure Services Composition.

, , , , and . Engineering Secure Future Internet Services and Systems, volume 8431 of Lecture Notes in Computer Science, Springer, (2014)

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 Galbusera

 

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)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)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)Privacy-Preserving LDA Classification over Horizontally Distributed Data., , , and . IDC, volume 868 of Studies in Computational Intelligence, page 65-74. Springer, (2019)Keystroke Analysis for User Identification using Deep Neural Networks., , , and . IJCNN, page 1-8. IEEE, (2019)Real-Time SCADA Attack Detection by Means of Formal Methods., , and . WETICE, page 231-236. IEEE, (2019)Introducing Usage Control in MQTT., , , , and . CyberICPS/SECPRE@ESORICS, volume 10683 of Lecture Notes in Computer Science, page 35-43. Springer, (2017)Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation., , , , and . Simul. Model. Pract. Theory, (2020)