Filters








263 Hits in 1.1 sec

Gênero e educação: dissidências, resistências e transgressões

Daniela Grieco Nascimento e Silva, Gustavo de Oliveira Duarte
2021 Horizontes  
Este artigo aborda problemáticas referentes às discussões de gênero no contexto escolar no que tange às conformações culturais que definem e legitimam papéis sociais e reforçam binarismos. A partir de uma pesquisa teórica, são tecidas algumas ponderações sobre a produção e potência da conceitualização do termo gênero e sua relação com as produções das identidades masculinas e femininas, especialmente relacionando a atuação do discurso escolar em relação a estas temáticas. Perceber e pensar
more » ... as relações de poder que interagem na escola é uma forma de opor-se, de gerar resistência e tecer um outro olhar, uma outra escuta, capaz de compreender e acolher as diversidades, vendo-as como uma forma de manifestação da identidade/subjetividade do sujeito. Palavras-chave: Gênero; Contexto Escolar, Problematizações.
doi:10.24933/horizontes.v39i1.857 fatcat:c5n5os7zgvd5nbxdjap2b6ioci

QuickFuzz: an automatic random fuzzer for common file formats

Gustavo Grieco, Martín Ceresa, Pablo Buiras
2016 SIGPLAN notices  
Fuzzing is a technique that involves testing programs using invalid or erroneous inputs. Most fuzzers require a set of valid inputs as a starting point, in which mutations are then introduced. QuickFuzz is a fuzzer that leverages QuickCheck-style random test-case generation to automatically test programs that manipulate common file formats by fuzzing. We rely on existing Haskell implementations of file-format-handling libraries found on Hackage, the communitydriven Haskell code repository. We
more » ... ve tried QuickFuzz in the wild and found that the approach is effective in discovering vulnerabilities in real-world implementations of browsers, image processing utilities and file compressors among others. In addition, we introduce a mechanism to automatically derive random generators for the types representing these formats. QuickFuzz handles most well-known image and media formats, and can be used to test programs and libraries written in any language.
doi:10.1145/3241625.2976017 fatcat:54gmjqwybfhr7es5jvumc5ihwa

DANÇA NO CONTEXTO ESCOLAR: ANTIGAS E NOVAS QUESTÕES

Gustavo De Oliveira Duarte, Daniela Llopart Castro, Daniela Grieco Nascimento e Silva
2021 Revista da FUNDARTE  
DUARTE, Gustavo De Oliveira; CASTRO, Daniela Llopart; SILVA, Daniela Grieco Nascimento e. Dança no contexto escolar: antigas e novas questões. Revista da FUNDARTE.  ...  "Afinal, os artistas se relacionam com eventos e questões que os cercam, e DUARTE, Gustavo De Oliveira; CASTRO, Daniela Llopart; SILVA, Daniela Grieco Nascimento e.  ... 
doi:10.19179/2319-0868.782 fatcat:s4ouzlhnxjfbpcc2cekbuhxuem

QuickFuzz: an automatic random fuzzer for common file formats

Gustavo Grieco, Martín Ceresa, Pablo Buiras
2016 Proceedings of the 9th International Symposium on Haskell - Haskell 2016  
Fuzzing is a technique that involves testing programs using invalid or erroneous inputs. Most fuzzers require a set of valid inputs as a starting point, in which mutations are then introduced. QuickFuzz is a fuzzer that leverages QuickCheck-style random test-case generation to automatically test programs that manipulate common file formats by fuzzing. We rely on existing Haskell implementations of file-format-handling libraries found on Hackage, the communitydriven Haskell code repository. We
more » ... ve tried QuickFuzz in the wild and found that the approach is effective in discovering vulnerabilities in real-world implementations of browsers, image processing utilities and file compressors among others. In addition, we introduce a mechanism to automatically derive random generators for the types representing these formats. QuickFuzz handles most well-known image and media formats, and can be used to test programs and libraries written in any language.
doi:10.1145/2976002.2976017 dblp:conf/haskell/GriecoCB16 fatcat:fd33bgrvrjah7kbswixtxo2zym

What are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)? [article]

Alex Groce and Josselin Feist and Gustavo Grieco and Michael Colburn
2020 arXiv   pre-print
An important problem in smart contract security is understanding the likelihood and criticality of discovered, or potential, weaknesses in contracts. In this paper we provide a summary of Ethereum smart contract audits performed for 23 professional stakeholders, avoiding the common problem of reporting issues mostly prevalent in low-quality contracts. These audits were performed at a leading company in blockchain security, using both open-source and proprietary tools, as well as human code
more » ... sis performed by professional security engineers. We categorize 246 individual defects, making it possible to compare the severity and frequency of different vulnerability types, compare smart contract and non-smart contract flaws, and to estimate the efficacy of automated vulnerability detection approaches.
arXiv:1911.07567v2 fatcat:3klw6ddtifgpbokxmozbopm6qm

Slither: A Static Analysis Framework for Smart Contracts

Josselin Feist, Gustavo Grieco, Alex Groce
2019 2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB)  
This paper describes Slither, a static analysis framework designed to provide rich information about Ethereum smart contracts. It works by converting Solidity smart contracts into an intermediate representation called SlithIR. SlithIR uses Static Single Assignment (SSA) form and a reduced instruction set to ease implementation of analyses while preserving semantic information that would be lost in transforming Solidity to bytecode. Slither allows for the application of commonly used program
more » ... ysis techniques like dataflow and taint tracking. Our framework has four main use cases: (1) automated detection of vulnerabilities, (2) automated detection of code optimization opportunities, (3) improvement of the user's understanding of the contracts, and (4) assistance with code review. In this paper, we present an overview of Slither, detail the design of its intermediate representation, and evaluate its capabilities on real-world contracts. We show that Slither's bug detection is fast, accurate, and outperforms other static analysis tools at finding issues in Ethereum smart contracts in terms of speed, robustness, and balance of detection and false positives. We compared tools using a large dataset of smart contracts and manually reviewed results for 1000 of the most used contracts.
doi:10.1109/wetseb.2019.00008 dblp:conf/icse/FeistGG19 fatcat:zfxddq2qgjckriyfkwzbnzs2hu

Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities

Juan Caballero, Gustavo Grieco, Mark Marron, Antonio Nappa
2012 Proceedings of the 2012 International Symposium on Software Testing and Analysis - ISSTA 2012  
Use-after-free vulnerabilities are rapidly growing in popularity, especially for exploiting web browsers. Use-afterfree (and double-free) vulnerabilities are caused by a program operating on a dangling pointer. In this work we propose early detection, a novel runtime approach for finding and diagnosing use-after-free and double-free vulnerabilities. While previous work focuses on the creation of the vulnerability (i.e., the use of a dangling pointer), early detection shifts the focus to the
more » ... tion of the dangling pointer(s) at the root of the vulnerability. Early detection increases the effectiveness of testing by identifying unsafe dangling pointers in executions where they are created but not used. It also accelerates vulnerability analysis and minimizes the risk of incomplete fixes, by automatically collecting information about all dangling pointers involved in the vulnerability. We implement our early detection technique in a tool called Undangle. We evaluate Undangle for vulnerability analysis on 8 realworld vulnerabilities. The analysis uncovers that two separate vulnerabilities in Firefox had a common root cause and that their patches did not completely fix the underlying bug. We also evaluate Undangle for testing on the Firefox web browser identifying a potential vulnerability.
doi:10.1145/2338965.2336769 dblp:conf/issta/CaballeroGMN12 fatcat:ipqcefqmjfgtxgs2tyjblcl6qe

Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts [article]

Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, Artem Dinaburg
2019 arXiv   pre-print
An effective way to maximize code coverage in software tests is through dynamic symbolic execution-a technique that uses constraint solving to systematically explore a program's state space. We introduce an open-source dynamic symbolic execution framework called Manticore for analyzing binaries and Ethereum smart contracts. Manticore's flexible architecture allows it to support both traditional and exotic execution environments, and its API allows users to customize their analysis. Here, we
more » ... uss Manticore's architecture and demonstrate the capabilities we have used to find bugs and verify the correctness of code for our commercial clients.
arXiv:1907.03890v3 fatcat:jac7d4akzvhq3nl7d4qyylrqqy

Optimizing Seed Selection for Fuzzing

Alexandre Rebert, Sang Kil Cha, Thanassis Avgerinos, Jonathan M Foote, David Warren, Gustavo Grieco, David Brumley
2018
Randomly mutating well-formed program inputs or simply fuzzing, is a highly effective and widely used strategy to find bugs in software. Other than showing fuzzers find bugs, there has been little systematic effort in understanding the science of how to fuzz properly. In this paper, we focus on how to mathematically formulate and reason about one critical aspect in fuzzing: how best to pick seed files to maximize the total number of bugs found during a fuzz campaign. We design and evaluate six
more » ... ifferent algorithms using over 650 CPU days on Amazon Elastic Compute Cloud (EC2) to provide ground truth data. Overall, we find 240 bugs in 8 applications and show that the choice of algorithm can greatly increase the number of bugs found. We also show that current seed selection strategies as found in Peach may fare no better than picking seeds at random. We make our data set and code publicly available.
doi:10.1184/r1/6469118 fatcat:5ufe3mk4wfbhtal4qlczerqcti

Optimizing Seed Selection for Fuzzing Optimizing Seed Selection for Fuzzing

Alexandre Rebert, Jonathan Foote, David Warren, Alexandre Rebert, Jonathan Foote, David Warren, Gustavo Grieco, David Brumley
unpublished
Randomly mutating well-formed program inputs or simply fuzzing, is a highly effective and widely used strategy to find bugs in software. Other than showing fuzzers find bugs, there has been little systematic effort in understanding the science of how to fuzz properly. In this paper, we focus on how to mathematically formulate and reason about one critical aspect in fuzzing: how best to pick seed files to maximize the total number of bugs found during a fuzz campaign. We design and evaluate six
more » ... ifferent algorithms using over 650 CPU days on Amazon Elastic Compute Cloud (EC2) to provide ground truth data. Overall, we find 240 bugs in 8 applications and show that the choice of algorithm can greatly increase the number of bugs found. We also show that current seed selection strategies as found in Peach may fare no better than picking seeds at random. We make our data set and code publicly available.
fatcat:wvh2jsjcwjcp7lajwvxtuffqii

Page 140 of Anais Paulistas de Medicina E Cirurgia Vol. 33, Issue 6 [page]

1937 Anais Paulistas de Medicina E Cirurgia  
Paulo, 159. ’ oO Olah, Gustavo, Natalicio de —, 379. Oleo de chaulmoogra no tratamento das perturbagdes intestinaes dos tuberculosos, 501. — Olhos. Enxertos de material fixado.  ...  Oliveira (Fleury), Nebias (Octavio) e Grieco (J.), Resultados da pneumo- lyse intra-pleural no tratamento da tuberculose pelo pneumothorax, 150.  ... 

Editorial

Marta de Senna, Hélio de Seixas Guimarães
2011 Machado de Assis em Linha  
Da tradição crítica, este número traz um dos mais polêmicos críticos brasileiros, que escreveu extensamente sobre Machado de Assis: Agripino Grieco, autor de Machado de Assis (1959) e Viagem em torno a  ...  Machado de Assis em linha agradece a seu neto, Alfredo Grieco, a autorização que cordialmente nos deu para publicar o texto e, com isso, possibilitar que leitores de hoje conheçam o pensamento de um dos  ...  contemplados pela crítica tradicional são abordados de maneira inteligente e inovadora em artigos de pesquisadores de várias procedências regionais e acadêmicas: O problema do realismo de Machado de Assis, de Gustavo  ... 
doi:10.1590/s1983-68212011000200001 fatcat:l76zfhfdcvbkbmj4zjluhauvzi

Page 78 of Anais Paulistas de Medicina E Cirurgia Vol. 46, Issue 1 [page]

1943 Anais Paulistas de Medicina E Cirurgia  
G. — Arlindo de Assis; A tuberculose nos imigrantes japo- neses — Joao Grieco; Como se conduzir apés a toracoplastia — Eduardo Etzel.  ...  Paula Pinto Hartung; Polipo de Killian — Gustavo dos Reis e Antonio Corréa e Juan Montero; Sinusites nas criancas — J. Fair- banks Barbosa; Oto-rino e ab- cesso retro-auricular — Enio D.  ... 

Acknowledgment to Reviewers of Veterinary Sciences in 2020

Veterinary Sciences Editorial Office Veterinary Sciences Editorial Office
2021 Veterinary Sciences  
Erickson, Peter Greenhalgh, David Eschbaumer, Michael Grieco, Valeria Fair, Jeanne Guérios, Simone Domit Farnworth, Mark J.  ...  Domínguez-Bernal, Gustavo Gabler, Christoph Domínguez-Pérez, Dany Gabriel, Aura Dorny, Pierre Gajda, Anna Dos Anjos Pires, Maria Galisteo Jr., Andres Jimenez Dos Santos Sousa, Carlos Augusto Gallo  ... 
doi:10.3390/vetsci8020018 pmid:33503823 fatcat:xqbl76s7qfherg4czkxjglw7je

Respuesta conductual de Aedes Aegypti (Linnaeus, 1762) frente a Adulticidas Piretroides de uso frecuente en Salud Pública

Yuri O. Ayala-Sulca, Luis Ibarra-Juarez, Jhon P. Grieco, Nicole Achee, Roberto Mercado-Hernandez, Ildefonso Fernández-Salas
2008 Revista Peruana de Medicina Experimental y Salud Pública  
Grieco et al.  ...  A los doctores Adriana Flores Suárez y Gustavo Ponce García por su contribución en la discusión y análisis de los resultados. A Rosa María Sánchez Tabla 4.  ... 
doaj:41406b6d2e774e50821611150b2a37d4 fatcat:fwegasaqbbeitjphydqvtpcuyi
« Previous Showing results 1 — 15 out of 263 results