( en | de | ru )

 

Disambiguation of "Martinelli, Fabio"

Author of the publication

copydeleteadd this publication to your clipboard
SEAS: A Secure E-Voting Applet System.

, , , , , and . ISSS, volume 3233 of Lecture Notes in Computer Science, page 318-329. Springer, (2003)

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

Dynamics of Lattice Triangulations on Thin Rectangles., , , and . CoRR, (2015)Mixing Time for the Solid-on-Solid Model, and . CoRR, (2010)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)Real-Time SCADA Attack Detection by Means of Formal Methods., , and . WETICE, page 231-236. IEEE, (2019)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)