A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Filters
Gênero e educação: dissidências, resistências e transgressões
2021
Horizontes
Preserved Fulltext
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
doi:10.24933/horizontes.v39i1.857
fatcat:c5n5os7zgvd5nbxdjap2b6ioci
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.
QuickFuzz: an automatic random fuzzer for common file formats
2016
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
doi:10.1145/3241625.2976017
fatcat:54gmjqwybfhr7es5jvumc5ihwa
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.
DANÇA NO CONTEXTO ESCOLAR: ANTIGAS E NOVAS QUESTÕES
2021
Revista da FUNDARTE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2016
Proceedings of the 9th International Symposium on Haskell - Haskell 2016
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
doi:10.1145/2976002.2976017
dblp:conf/haskell/GriecoCB16
fatcat:fd33bgrvrjah7kbswixtxo2zym
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.
What are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)?
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
arXiv:1911.07567v2
fatcat:3klw6ddtifgpbokxmozbopm6qm
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.
Slither: A Static Analysis Framework for Smart Contracts
2019
2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2019 pre-print arXiv:1908.09878v1 fatcat:l3ohxbwievby5f7edtcfokzjqy
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
doi:10.1109/wetseb.2019.00008
dblp:conf/icse/FeistGG19
fatcat:zfxddq2qgjckriyfkwzbnzs2hu
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.
Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities
2012
Proceedings of the 2012 International Symposium on Software Testing and Analysis - ISSTA 2012
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
doi:10.1145/2338965.2336769
dblp:conf/issta/CaballeroGMN12
fatcat:ipqcefqmjfgtxgs2tyjblcl6qe
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.
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
arXiv:1907.03890v3
fatcat:jac7d4akzvhq3nl7d4qyylrqqy
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.
Optimizing Seed Selection for Fuzzing
2018
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
doi:10.1184/r1/6469118
fatcat:5ufe3mk4wfbhtal4qlczerqcti
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.
Optimizing Seed Selection for Fuzzing Optimizing Seed Selection for Fuzzing
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
fatcat:wvh2jsjcwjcp7lajwvxtuffqii
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.
Page 140 of Anais Paulistas de Medicina E Cirurgia Vol. 33, Issue 6
[page]
1937
Anais Paulistas de Medicina E Cirurgia
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2011
Machado de Assis em Linha
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2021
Veterinary Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2008
Revista Peruana de Medicina Experimental y Salud Pública
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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