Concepedia

Damiano Macedonio

DM

Statistics

Publications

9

Citations

161

H-Index

9

Active since

2004

Affiliations

Ca' Foscari University of Venice(Current)

University of Verona

University of Washington

University of Southampton

Damiano Macedonio is an author at Ca' Foscari University of Venice specializing in computer science, computing, and knowledge representation.

Publications per year

2004–2019

9

Publications

9

Static Identification of Injection Attacks in Java

Fausto Spoto, Elisa Burato, Michael D. Ernst et al. · ACM Transactions on Programming Languages and Systems · 2019 · 36 citations · Full text

Computing, Computer Science, Cybersecurity +17

A semantic analysis of key management protocols for wireless sensor networks

Damiano Macedonio, Massimo Merro · Science of Computer Programming · 2013 · 27 citations

Computing, Computer Science, Cybersecurity +16

A Hybrid Intuitionistic Logic: Semantics and Decidability

Rohit Chadha, Damiano Macedonio, Vladimiro Sassone · Journal of Logic and Computation · 2006 · 21 citations

Humanities, Computer Science, Mathematics +13

Unwinding in Information Flow Security

Annalisa Bossi, Riccardo Focardi, Damiano Macedonio et al. · Electronic Notes in Theoretical Computer Science · 2004 · 21 citations · Full text

Computing, Computer Science, Cybersecurity +13

Static BiLog: a Unifying Language for Spatial Structures

Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone · ePrints Soton (University of Southampton) · 2008 · 13 citations · Full text

Computing, Computer Science, Mathematics +10

1–5 of 9