Items where Author is "Dvir, Amit"
Group by: Item Type | No Grouping Number of items: 1. Ta, Vinh Thong and Dvir, Amit and ButtyƔn, Levente (2014) Formal Security Verification of Transport Protocols for Wireless Sensor Networks. In: Advanced Computational Methods for Knowledge Engineering, 2014.05.08-2014.05.08, Budapest. |