Tópicos Especiais em Sistemas de Informação: Minicursos SBSI 2021

Abijaude, J., Serra, H., Santiago, L., Sobreira, P., e Greve, F. (2020). Blockchain, contratos inteligentes sistemas web:teoria e prática. https://github.com/lifuesc/minicurso-blockchain. Acessado em 03/03/2021.

ACM. Association for Computing Machinery. (2018). ACM Code of Ethics and Professional Conduct. https://ethics.acm.org/

AIS. Association for Information Systems. (2014). AIS Code of Research Conduct. Code of Research Conduct - Association for Information Systems (AIS) (aisnet.org)

Akca, S., Rajan, A., e Peng, C. (2019). Solanalyser: A framework for analysing and testing smart contracts. In 2019 26th Asia-Pacific Software Engineering Conference (APSEC), pages 482–489. IEEE

Amani, S., Bégel, M., Bortin, M., e Staples, M. (2018). Towards verifying ethereum smart contract bytecode in isabelle/hol. In Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, pages 66–77.

Amorim, P. F., Sacramento, C., Capra, E. P., Tavares, P. Z., Ferreira, S. B. L. (2019). “Submit or Not My HCI Research Project to the Ethics Committee, That is the Question”. 18th Brazilian Symposium on Human Factors in Computing Systems (IHC’19). Outubro 21-25, Vitória - ES, Brasil. ACM, New York, NY. https://doi.org/10.1145/3357155.3358473.

Andesta, E., Faghih, F., e Fooladgar, M. (2019). Testing smart contracts gets smarter. arXiv preprint arXiv:1912.04780.

Androulaki, E., Barger, A., Bortnikov, V., Cachin, C., Christidis, K., De Caro, A., Enyeart, D., Ferris, C., Laventman, G., Manevich, Y., e outros. (2018). Hyperledger fabric: a distributed operating system for permissioned blockchains. In Proceedings of the Thirteenth EuroSys Conference, page 30. ACM.

Antonopoulos, A. M. e Wood, G. (2018). Mastering ethereum: building smart contracts and dapps. O’reilly Media.

Araujo, P., Viana, W., Veras, N., Farias, E. J., e de Castro Filho, J. A. (2019). Exploring students perceptions and performance in flipped classroom designed with adaptive learning techniques: A study in distributed systems courses. In Brazilian Symposium on Computers in Education (Simpósio Brasileiro de Informática na Educação-SBIE), volume 30, page 219.

Araujo, R. M., Fornazin, M.; Pimentel, M. (2017). “An Analysis of the Production of Scientific Knowledge in Research Published in the First 10 years of iSys (2008-2017)”. iSys - Brazilian Journal of Information Systems, Porto Alegre, v. 10, n. 4, p. 45-65, dez. 2017. ISSN 1984-2902. DOI: https://doi.org/10.5753/isys.2017.351

Atzei, N., Bartoletti, M., e Cimoli, T. (2016). A survey of attacks on ethereum smart contracts. IACR Cryptol. ePrint Arch., 2016:1007

Bhargavan, K., Delignat-Lavaud, A., Fournet, C., Gollamudi, A., Gonthier, G., Kobeissi, N., Kulatova, N., Rastogi, A., Sibut-Pinote, T., Swamy, N., e outros. (2016). Formal verification of smart contracts: Short paper. In Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, pages 91–96.

Bongertz, Vera. (1999). O dia-a-dia na pesquisa científica: considerações éticas. In: Carneiro, F. (Org.). A Moralidade dos Atos Cientificos – questões emergentes dos Comitês de Ética em Pesquisa, Rio de Janeiro, FIOCRUZ, 1999. http://www.dbbm.fiocruz.br/ghente/publicacoes/moralidade/dia_a_dia.pdf

Boscarioli, C., Araujo, R. M., Maciel, R. S. P. (2017). I GranDSI-BR – Grand Research Challenges in Information Systems in Brazil 2016-2026. Special Committee on Information Systems (CE-SI). Brazilian Computer Society (SBC). ISBN: [978-85-7669-384-0]. 184p. https://sol.sbc.org.br/livros/index.php/sbc/catalog/book/28

Brasil. (1988) Constituição da República Federativa do Brasil de 1988. http://www.planalto.gov.br/ccivil_03/constituicao/constituicaocompilado.htm

Brasil. (1999) Conselho Nacional de Saúde. Resolução nº 292, de 08 de julho de 1999. Aprova a norma no que diz respeito à área temática especial “pesquisas coordenadas do exterior ou com participação estrangeira e pesquisas que envolvam remessa de material biológico para o exterior”. https://bvsms.saude.gov.br/bvs/saudelegis/cns/1999/res0292_08_07_1999.html

Brasil. (2011) Lei Nº 12.527, de 18 de novembro de 2011. http://www.planalto.gov.br/ccivil_03/_ato2011-2014/2011/lei/l12527.htm. Acesso em 08 de dezembro de 2020.

Brasil. (2012) Conselho Nacional de Saúde. Resolução nº 466, de 12 de dezembro de 2012. Aprova as diretrizes e normas regulamentadoras de pesquisas envolvendo seres humanos. Diário Oficial da União. Brasília, n. 12, p. 59, 13 jun 2013, Seção 1. https://conselho.saude.gov.br/resolucoes/2012/Reso466.pdf

Brasil. (2013) Norma Operacional nº 001/2013 Dispõe sobre a organização e funcionamento do Sistema CEP/CONEP, e sobre os procedimentos para submissão, avaliação e acompanhamento da pesquisa e de desenvolvimento envolvendo seres humanos no Brasil, nos termos do item 5, do Capítulo XIII, da Resolução CNS n° 466 de 12 de dezembro de 2012. CONEP: Resoluções. 2014. http://conselho.saude.gov.br/web_comissoes/conep/aquivos/CNS%20%20Norma%20Operacional%20001%20-%20conep%20finalizada%2030-09.pdf

Brasil. (2016) Conselho Nacional de Saúde. Resolução nº 510, de 07 de abril de 2016. Normas aplicáveis a pesquisas em Ciências Humanas e Sociais. Diário Oficial da União. Brasília, n. 98, p. 44-46, 24 mai 2016, Seção 1. http://conselho.saude.gov.br/images/comissoes/conep/documentos/NORMAS-RESOLUCOES/Resoluo_n_510_-_2016_-_Cincias_Humanas_e_Sociais.pdf

Brasil. (2018) Lei Geral de Proteção de Dados Pessoais (LGPD). http://www.planalto.gov.br/ccivil_03/_ato2015-2018/2018/lei/L13709.htm. Acesso em 08 de dezembro de 2020.

Buterin, V. e outros. (2014). A next-generation smart contract and decentralized application platform. white paper, 3(37).

Câmara dos Deputados. (2017). PL 7082/2017. Dispõe sobre a pesquisa clínica com seres humanos e institui o Sistema Nacional de Ética em Pesquisa Clínica com Seres Humanos. https://www.camara.leg.br/proposicoesWeb/fichadetramitacao?idProposicao=2125189. Acesso em 08 de dezembro de 2020.

Camillo, C. (2019). Manual da Teoria Geral do Direito. São Paulo: Almeida.

CNS. Conselho Nacional de Saúde. (1996). Resolução do Conselho Nacional de Saúde No 196/1996. http://www.aids.gov.br/pt-br/legislacao/resolucao-do-conselho-nacional-de-saude-no-1961996#:~:text=Aprova%20diretrizes%20e%20normas%20reguladoras%20de%20pesquisas%20envolvendo%20seres%20humanos. Acesso em 08 de dezembro de 2020.

CNS. Conselho Nacional de Saúde. (2018). Manual de Usuário - Pesquisador. https://conselho.saude.gov.br/images/comissoes/conep/documentos/PB/MANUAL_PESQUISADOR.pdf. Acesso em 08 de dezembro de 2020.

CNS. Conselho Nacional de Saúde. Comitês de Ética em Pesquisa. http://conselho.saude.gov.br/comites-de-etica-em-pesquisa-conep?view=default. Acesso em 08 de dezembro de 2020.

Coblenz, M., Oei, R., Etzel, T., Koronkevich, P., Baker, M., Bloem, Y., Myers, B. A., Sunshine, J., e Aldrich, J. (2020). Obsidian: Typestate and assets for safer blockchain programming. ACM Transactions on Programming Languages and Systems (TOPLAS), 42(3):1–82

Coblenz, M., Sunshine, J., Aldrich, J., e Myers, B. (2019). Smarter smart contract development tools. In 2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), pages 48–51. IEEE.

Coinbase (2018). Coinbase wallet. https://wallet.coinbase.com/. Acessado em 03/03/2021.

Connolly, B. (2020). “Why Computing Belongs Within the Social Sciences”. Communications of the ACM, August 2020, Vol. 63 No. 8, Pages 54-59. https://doi.org/10.1145/3383444

CREMESP. Centro de Bioética. Código de Nuremberg. http://www.bioetica.org.br/?siteAcao=DiretrizesDeclaracoesIntegra&id=2. Acesso em 08 de dezembro de 2020.

CREMESPa. Centro de Bioética. Declaração de Helsinque. http://www.bioetica.org.br/?siteAcao=DiretrizesDeclaracoesIntegra&id=4. Acesso em 08 de dezembro de 2020.

CREMESPb. Centro de Bioética. Declaração Universal sobre Bioética e Direitos Humanos. http://www.bioetica.org.br/?siteAcao=DiretrizesDeclaracoesIntegra&id=17. Acesso em 08 de dezembro de 2020.

Delmolino, K., Arnett, M., Kosba, A., Miller, A., e Shi, E. (2016). Step by step towards creating a safe smart contract: Lessons and insights from a cryptocurrency lab. In International conference on financial cryptography and data security, pages 79–94. Springer.

Dettling, W. (2018). How to teach blockchain in a business school. In Business Information Systems and Technology 4.0, pages 213–225. Springer

Enciclopédia do Holocausto. (2020) “As Experiências Médicas Nazistas”. https://encyclopedia.ushmm.org/content/pt-br/article/nazi-medical-experiments. Acesso em 08 de dezembro de 2020.

Ethfiddle (2017). Ethfiddle editor rinkeby. https://ethfiddle.com/. Acessado em 03/03/2021

FAPESP. (2014). Fundação de Amparo à Pesquisa do Estado de São Paulo. (2014). Código de Boas Práticas Científicas. FAPESP-Codigo_de_Boas_Praticas_Cientificas_2014.pdf

Frantz, C. K. e Nowostawski, M. (2016). From institutions to code: Towards automated generation of smart contracts. In 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS* W), pages 210–215. IEEE.

GasStation (2017). Gas station. https://ethgasstation.info/index.php. Acessado em 03/03/2021

Go-ethereum, T. (2013). Go ethereum - official go implementation of the ethereum protocol. https://geth.ethereum.org/. Acessado em 03/03/2021.

Greve, F. G., Sampaio, L. S., Abijaude, J. A., Coutinho, A. C., Valcy, Í. V., e Queiroz, S. Q. (2018). Blockchain e a revolução do consenso sob demanda. Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC)-Minicursos.

IEEE. (2020) The Institute of Electrical and Electronic Engineers. IEEE Code of Ethics. https://www.ieee.org/about/corporate/governance/p7-8.html

Jansen, M., Hdhili, F., Gouiaa, R., e Qasem, Z. (2019). Do smart contract languages need to be turing complete? In International Congress on Blockchain and Applications, pages 19–26. Springer.

Jaxx (2018). Jaxx safely manager ethereum. https://jaxx.io/. Acessado em 03/03/2021.

Kizza, J. M., (2013). Ethical and Social Issues in the Information Age. Springer Verlag. Londres. UK.

Kottow, M. (2008). "História da Ética em pesquisa em seres humanos". RECIIS – Revista Eletrônica de Comunicação, Informação e Inovação em Saúde. Rio de Janeiro, v.2, Sup.1, p.Sup.7-Sup.18, Dez., 2008. DOI: 10.3395/reciis.v2.Sup1.203pt. https://www.arca.fiocruz.br/bitstream/icict/17570/2/2.pdf

LeMahieu, C. (2018). Nano: A feeless distributed cryptocurrency network. Nano [Online resource]. URL: https://nano. org/en/whitepaper (date of access: 24.03. 2018).

Mavridou, A. e Laszka, A. (2018). Tool demonstration: Fsolidm for designing secure ethereum smart contracts. In International Conference on Principles of Security and Trust, pages 270–277. Springer

Metamask (2018). Metamask crypto wallet and gateway. https://metamask.io/. Acessado em 03/03/2021.

Ministério da Saúde (Brasil). Plataforma Brasil. Acessado em 28 de novembro de 2020, de: https://plataformabrasil.saude.gov.br/login.jsf

Murray, Y. e Anisi, D. A. (2019). Survey of formal verification methods for smart contracts on blockchain. In 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), pages 1–6. IEEE.

MyCrypto (2019). Mycrypto. https://mycrypto.com/. Acessado em 03/03/2021.

Myetherwallet (2019). Myetherwallet original wallet. https://www.myetherwallet.com/. Acessado em 03/03/2021.

Nakamoto, S. (2008). A peer-to-peer electronic cash system. Bitcoin.–URL: https://bitcoin. org/bitcoin. pdf, 4. Acessado em 03/03/2021.

ONU. Organização das Nações Unidas. Universal Declaration of Human Rights. https://www.un.org/en/universal-declaration-human-rights/ Acesso em 08 de dezembro de 2020.

OpenJS (2017). Mocha test framework. https://mochajs.org/. Acessado em 03/03/2021.

Popov, S. (2018). The tangle, iota whitepaper. https://iota.org/IOTA_Whitepaper.pdf. Acessado em 03/03/2021.

Qin, P., Guo, J., Shen, B., e Hu, Q. (2019). Towards self-automatable and unambiguous smart contracts: Machine natural language. In International Conference on e-Business Engineering, pages 479–491. Springer.

Rao, A. R. e Dave, R. (2019). Developing hands-on laboratory exercises for teaching stem students the internet-of-things, cloud computing and blockchain applications. In 2019 IEEE Integrated STEM Education Conference (ISEC), pages 191–198. IEEE.

Remix (2015). Remix ide. https://remix.ethereum.org/. Acessado em 03/03/2021.

Santoro, F. M., Costa, R. M. E. M. (2020). Ética Profissional em Computação. Em: Maciel, C., Viterbo, J. (eds). Computação e Sociedade. Vol. 1. EdUFMT Digital.

SBC. Sociedade Brasileira de Computação. (2013). Código de Ética do Profissional de Informática. https://www.sbc.org.br/jdownloads/02.codigo_de_etica_da_sbc.pdf

SBC. Sociedade Brasileira de Computação. (2020). Código de Conduta para Publicações da SBC. https://www.sbc.org.br/documentos-da-sbc/send/144-institucional/1298-codigo-de-conduta-para-publicacoes-da-sbc

Sharp, H., Rogers, Y., Preece, J. (2011). Design de Interação: além da interação homem-computador. Bookman, Porto Alegre, Brasil.

Status (2019). Status private, secure communication. https://status.im/. Acessado em 03/03/2021.

StudioEthereum (2019). Studio ethereum. https://studio.ethereum.org//. Acessado em 03/03/2021.

Szabo, N. (1997). Formalizing and securing relationships on public networks. First Monday.

Trust (2019). Trust wallet - secure crypto wallet. https://trustwallet.com/. Acessado em 03/03/2021.

Wang, S., Ouyang, L., Yuan, Y., Ni, X., Han, X., e Wang, F.-Y.(2019). Blockchain-enabled smart contracts: architecture, applications, and future trends. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 49(11):2266–2277.

Web3js (2016). Ethereum javascript api. https://web3js.readthedocs.io/en/v1.3.0/index.html. Acessado em 03/03/2021.

Wiki, E. (2017). Ethash. GitHub Ethereum Wiki. https://github.com/ethereum/wiki/wiki/Ethash. Acessado em 03/03/2021.

Wood, G. e outros. (2014). Ethereum: A secure decentralised generalised transaction ledger. Ethereum project yellow paper, 151(2014):1–32.

Wu, H., Wang, X., Xu, J., Zou, W., Zhang, L., e Chen, Z. (2019). Mutation testing for ethereum smart contract. arXiv preprint arXiv:1908.03707.