24 citations · 37 across the 2 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2009★ 24 cited
How to Specify and How to Prove Correctness of Secure Routing Protocols for MANET
P. Papadimitratos, Z. J. Haas, J. -P. Hubaux
Secure routing protocols for mobile ad hoc networks have been developed recently, yet, it has been unclear what are the properties they achieve, as a formal analysis of these proto…
cs.CR2008★ 13 cited
GossiCrypt: Wireless Sensor Network Data Confidentiality Against Parasitic Adversaries
Jun Luo, Panos Papadimitratos, Jean-Pierre Hubaux
Resource and cost constraints remain a challenge for wireless sensor network security. In this paper, we propose a new approach to protect confidentiality against a parasitic adver…