( en | de | ru )

 

Disambiguation of "Macedonio, Damiano"

Author of the publication

copydeleteadd this publication to your clipboard
Static Identification of Injection Attacks in Java.

, , , , , , and . ACM Trans. Program. Lang. Syst., 41 (3): 18:1-18:58 (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.

Damiano Stefani

Damiano Bolzoni

Damiano Guazzini

Carla Ann Damiano

Carl Ann Damiano

 

Other publications of authors with the same name

Static vs Dynamic Typing for Access Control in Pi-Calculus., , and . ASIAN, volume 4846 of Lecture Notes in Computer Science, page 282-296. Springer, (2007)Static BiLog: a Unifying Language for Spatial Structures., , and . Fundam. Informaticae, 80 (1-3): 91-110 (2007)Bigraphical Logics for XML., , and . SEBD, page 392-399. (2005)Boolean Formulas for the Static Identification of Injection Attacks in Java., , , , and . LPAR, volume 9450 of Lecture Notes in Computer Science, page 130-145. Springer, (2015)Information flow security for service compositions., and . ICUMT, page 1-8. IEEE, (2009)Logics for distributed resources.. Ca' Foscari University of Venice, Italy, (2006)Information Flow Security and Recursive Systems., , , and . ICTCS, volume 2841 of Lecture Notes in Computer Science, page 369-382. Springer, (2003)A Semantic Analysis of Wireless Network Security Protocols., and . NASA Formal Methods, volume 7226 of Lecture Notes in Computer Science, page 403-417. Springer, (2012)Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks., , and . FSEN, volume 8161 of Lecture Notes in Computer Science, page 168-182. Springer, (2013)A semantic analysis of key management protocols for wireless sensor networks., and . Sci. Comput. Program., (2014)