Property-Based Taming of Lying Mobile Nodes.

Mark Manulis, Ahmad-Reza Sadeghi

Browse the full AINA paper archive.