Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marcin Poturalski
Formal Analysis of Secure Neighbor Discovery in Wireless Networks
IEEE Transactions on Dependable and Secure Computing
Electronic Engineering
Electrical
Computer Science
Towards Provable Secure Neighbor Discovery in Wireless Networks