Tools and Artifacts

Polityzer, IEEE S&P’24 - Source Code: https://github.com/polityzer
IoTSpotter, ACM CCS’22 - Source Code: https://github.com/Secure-Platforms-Lab-W-M/IoTSpotter
Smart Home Privacy Policies Demystified, USENIX’22 - Data: https://github.com/Secure-Platforms-Lab-W-M/smart-home-privacy-policies
Helion, IEEE S&P’20 - Source Code: https://github.com/Secure-Platforms-Lab-W-M/Helion-on-Home-Assistant#helion
Mutation-based Soundness Evaluation (MUSE), USENIX’18 - Source Code: https://secure-platforms-lab-w-m.github.io/muse/
Mutation Analysis for evaluating Static Crypto-API misuse detectors (MASC), IEEE S&P’22 - Source Code: https://github.com/Secure-Platforms-Lab-W-M/masc-artifact