Orientador: Islene Calciolari Garcia

Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação

Resumo: É de conhecimento geral que a tecnologia possui um grande papel na sociedade atual e que esta afeta diversas áreas, desde sistemas de recomendação disponíveis em redes sociais até software usado como evidência em casos criminais. Artefatos tecnológicos podem parecer inofensivos, mas quando...

Resumo: É de conhecimento geral que a tecnologia possui um grande papel na sociedade atual e que esta afeta diversas áreas, desde sistemas de recomendação disponíveis em redes sociais até software usado como evidência em casos criminais. Artefatos tecnológicos podem parecer inofensivos, mas quando cavamos mais a fundo nos mecanismos sociais que os alimentam e que são alimentados por eles, é fácil perceber que estes podem não ser tão justos ou até mesmo tão desconectados das disparidades sociais perpetradas por nós humanos. Dependendo de quais esferas sociais tais algoritmos e sistemas atuam, os efeitos controversos de sua existência não supervisionada e inquestionada não são tão alarmantes, talvez porque o nível de integridade destas não seja alto o suficiente. É aceitável que, enquanto vemos nossos feeds em nossas redes sociais favoritas, não encontremos uma grande diversidade de posts. É menos aceitável quando um banco recusa um empréstimo a alguém porque um algoritmo de score de crédito, por motivos não bem definidos, sinalizou algum problema com o requerente. Mas seria inaceitável se um software utilizado como evidência criminal embasasse a prisão de uma pessoa inocente. Ao usar software como evidência em tribunal, especificamente Software de Probabilidade Genética (PG), é preciso entender que uma saída deste software pode ser responsável pelo encarceramento de uma pessoa por longos períodos devido à gravidade dos crimes onde esta ferramenta se faz necessária. Portanto é imperativo compreender os mecanismos por trás deste software e garantir que ele passou por um processo minucioso de validação antes de sua aplicação em casos reais. Existem muitas ferramentas de PG disponíveis para análise, mas nosso foco será limitado às ferramentas open source; LRmix/Forensim (utilizada no Brasil), EuroForMix, Kongoh, LikeLTD e LabRetriever. Nesta dissertação, nós comparamos o processo de validação seguido pelas pessoas desenvolvedoras das ferramentas citadas com \textit{guidelines} propostas pela comunidade forense e verificamos se os padrões propostos pela IEEE são seguidos. Também são recuperadas métricas referentes à cobertura de código pelos testes e rápidas análises estáticas são realizadas no código. Nosso objetivo é caracterizar quais testes deveriam ser tidos como obrigatórios em sistemas de alta integridade ao mesmo tempo em que analisamos se ambos os sistemas selecionados performam tais testes corretamente, mesmo em cenários complexos baseados em casos reais. Não temos a pretensão de desencorajar o uso deste tipo de software em circuntâncias onde as amostras são menos complexas, até porque estas análises se tornaram uma importante peça de evidencia em casos de abuso sexual, por exemplo. Aqui apenas trazemos percepções sobre possíveis brechas no processo de validação que poderiam ser danosas em casos complexos

Abstract: As is widely known, technology plays a massive role in the current society, and it has effects in multiple areas, from recommendation systems available on social network feeds to evidentiary software. Technological artifacts might seem harmless, but when we dig deeper into the social...

Abstract: As is widely known, technology plays a massive role in the current society, and it has effects in multiple areas, from recommendation systems available on social network feeds to evidentiary software. Technological artifacts might seem harmless, but when we dig deeper into the social mechanism that feeds and is fed by them, it is clear that they are neither fair or alienated from the societal disparities perpetrated by humans. Depending on the social spheres in that algorithms, and systems act, the controversial effects of their unsupervised and unquestionable existence are not that alarming because their integrity level may not be high enough. It is acceptable if, while scrolling down on our favorite social network, we do not see diversified posts; it is less defensible when a bank declines someone's loan because a credit score algorithm flags them with no explainable reason; but it would be intolerable if an evidentiary software sent an innocent person to jail. When using evidentiary software in court, specifically Probabilistic Genotyping Software (PGS), it is necessary to understand that an outcome from this software can be responsible for incarcerating someone for long periods due to the gravity of the crimes where this tool is needed. Therefore it is imperative to understand the mechanisms behind this software and ensure that it has passed a thorough validation process before its application in casework. There are many PGS available for evidence analysis, but our focus will be limited to the open source tools: LRmix/Forensim (used in Brazil), EuroForMix, Kongoh, LikeLTD e LabRetriever. In this dissertation, we compare the validation process performed by PGS developers with the guidelines proposed by the forensic community, and verify if they follow the standards proposed by IEEE. As the source code of all tools is available, we also retrieve a few metrics regarding the code coverage of tests and perform a brief static analysis of the software. Our goal is to characterize which tests should be deemed as mandatory for high-integrity software at the same time that we analyze if the five selected tools perform them properly, even in complex casework based scenarios. We do not discourage the use of this type of software in simpler DNA mixtures, because they became a important piece of evidence in cases of sexual abuse, for example. We just provide insights about possible breaches in the validation process that could be damaging in complex cases

Requisitos do sistema: Software para leitura de arquivo em PDF

Aberto