SIoT is a tool to analyze Internet of Things systems code through Distributed System Analysis. SIoT's key insight is to look at a distributed system as a single body, and not as separate programs that exchange messages. By doing so, it can crosscheck information inferred from different network programs. For more information on what SIoT is and what it can do, please see our FGCS 2017 paper, our IPSN 2015 paper, my PhD thesis or the SIoT source code.

You can experiment a web prototype version here.

There is a preliminary version on Portuguese too.

TEIXEIRA, FERNANDO A.; PEREIRA, FERNANDO M.Q. ; WONG, HAO-CHI ; NOGUEIRA, JOSÉ M.S. ; OLIVEIRA, LEONARDO B. . SIoT: Securing Internet of Things through distributed systems analysis. Future Generation Computer Systems, v. 1, p. 1, 2017.

TEIXEIRA, FERNANDO A.; MACHADO, GUSTAVO V. ; PEREIRA, FERNANDO M. Q. ; WONG, HAO CHI ; NOGUEIRA, JOSÉ M. S. ; OLIVEIRA, LEONARDO B. . SIoT. In: the 14th International Conference, 2015, Seattle. Proceedings of the 14th International Conference on Information Processing in Sensor Networks - IPSN '15. New York: ACM Press. p. 310.

TEIXEIRA, FERNANDO A.; NOGUEIRA, JOSE M. S. ; OLIVEIRA, LEONARDO B. . Securing networked embedded systems code through distributed systems analysis. In: 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), 2017, Lisbon. 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), 2017. p. 847-851.

TEIXEIRA, FERNANDO A.; MENEZES VIEIRA, GUSTAVO ; MARCONDES FONSECA, PABLO ; MAGNO QUINTAO PEREIRA, FERNANDO ; CHI WONG, HAO ; MARCOS SILVA NOGUEIRA, JOSE ; BARBOSA OLIVEIRA, LEONARDO . Defending Internet of Things against Exploits. Revista IEEE América Latina, v. 13, p. 1112-1119, 2015.

TEIXEIRA, FERNANDO A.; MACHADO, GUSTAVO V. ; FONSECA, PABLO M. ; PEREIRA, FERNANDO M.Q. ; WONG, HAO CHI ; NOGUEIRA, Jose M.S. ; OLIVEIRA, LEONARDO B. . Defending Code from the Internet of Things against Buffer Overflow. In: 2014 Brazilian Symposium on Computer Networks and Distributed Systems (SBRC), 2014, Florianopolis. 2014 Brazilian Symposium on Computer Networks and Distributed Systems. p. 293.

TEIXEIRA, F. A.; NOGUEIRA, Jose M.S. ; OLIVEIRA, L. B. . Securing Networked Embedded Systems through Distributed Systems Analysis. In: CTDSeg SBSeg, 2016, Niterói. Concurso de Teses e Dissertações (CTDSeg), SBSeg, 2016.

Silva, B. ; Cecílio, D. ; SOUZA, E. ; Fernando Pereira ; TEIXEIRA, F. A. ; Hao Chi Wong ; SANTOS, H. N. ; MAFRA, I. ; FREIRE, J. ; SANTOS, W. . Segurança de Software em Sistemas Embarcados: Ataques & Defesas. Segurança de Software em Sistemas Embarcados: Ataques & Defesas. 1ed.: , 2013, v. , p. 101-.

TEIXEIRA, F. A.; WONG, HAO CHI ; NOGUEIRA, Jose M.S. ; OLIVEIRA, LEONARDO B. . DistViewer: Uma Ferramenta para Visualizar e Analisar o Código de Sistemas Distribuídos sob uma Nova Perspectiva. In: Salão de Ferramentas do SBRC, 2017, Belém. Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2017.