Advanced search

Authors whose works are in public domain in at least one jurisdiction

List of works by Damiano Macedonio

A Semantic Analysis of Wireless Network Security Protocols

scientific article published in 2012

A semantic analysis of key management protocols for wireless sensor networks

scientific article published in February 2014

Information flow in secure contexts

scientific article published in 2005

Statistical Model Checking of Ad Hoc Routing Protocols in Lossy Grid Networks

scientific article published in 2015

Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks

scientific article published in 2013

Paulina is supported by:

About Paulina

Help