1. IAPP. https://www.privacyassociation.org/. IAPP. https://www.privacyassociation.org/.
2. A software-defined radio for the masses. https://potassco.org/. A software-defined radio for the masses. https://potassco.org/.
3. Yices: An SMT solver. http://yices.csl.sri.com/. Yices: An SMT solver. http://yices.csl.sri.com/.
4. IEEE 802.11k/D0.7. IEEE 802.11 WG draft supplement -- specification for radio resource measurement. IEEE 802.11k/D0.7. IEEE 802.11 WG draft supplement -- specification for radio resource measurement.