Search

Your search keyword '"BARBOSA, MANUEL"' showing total 714 results
Start Over Author "BARBOSA, MANUEL"
714 results on '"BARBOSA, MANUEL"'

1. A Tight Security Proof for SPHINCS, Formally Verified

Author

Barbosa, Manuel, Dupressoir, François, Hülsing, Andreas, Meijers, Matthias, Strub, Pierre-Yves, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Chung, Kai-Min, editor, and Sasaki, Yu, editor

Published
2025
Full Text
View/download PDF

3. Execution Time Program Verification With Tight Bounds

Author

Silva, Ana Carolina, Barbosa, Manuel, and Florido, Mario

Subjects
Computer Science - Programming Languages
Abstract

This paper presents a proof system for reasoning about execution time bounds for a core imperative programming language. Proof systems are defined for three different scenarios: approximations of the worst-case execution time, exact time reasoning, and less pessimistic execution time estimation using amortized analysis. We define a Hoare logic for the three cases and prove its soundness with respect to an annotated cost-aware operational semantics. Finally, we define a verification conditions (VC) generator that generates the goals needed to prove program correctness, cost, and termination. Those goals are then sent to the Easycrypt toolset for validation. The practicality of the proof system is demonstrated with an implementation in OCaml of the different modules needed to apply it to example programs. Our case studies are motivated by real-time and cryptographic software.

Published
2022

4. Formally Verifying Kyber : Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt

Author

Almeida, José Bacelar, Arranz Olmos, Santiago, Barbosa, Manuel, Barthe, Gilles, Dupressoir, François, Grégoire, Benjamin, Laporte, Vincent, Léchenet, Jean-Christophe, Low, Cameron, Oliveira, Tiago, Pacheco, Hugo, Quaresma, Miguel, Schwabe, Peter, Strub, Pierre-Yves, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Reyzin, Leonid, editor, and Stebila, Douglas, editor

Published
2024
Full Text
View/download PDF

5. Bare PAKE: Universally Composable Key Exchange from Just Passwords

Author

Barbosa, Manuel, Gellert, Kai, Hesse, Julia, Jarecki, Stanislaw, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Reyzin, Leonid, editor, and Stebila, Douglas, editor

Published
2024
Full Text
View/download PDF

6. International Student Mobility: An Empirical Study Based on FEUP Mechanical Engineering Data

Author

Castro, Catarina F. and Barbosa, Manuel R.

Abstract

Students are formal learners seeking documented and recognized tertiary education. Student mobility in higher education can be inward (into a country) or outward (out of a country). Both types of mobility are educational processes offering different experiences and resulting in different outcomes. At least half of MIEM (Integrated Mechanical Engineering master degree of the Faculty of Engineering of the University of Porto, Porto, Portugal) students are driven to seek different institutions and different societies outside their known environment. During the academic year 2019/20 one hundred and forty MIEM students were engaged on exchange mobility projects distributed among inward Portuguese universities and a large number of outward European and non-European programs. This report focuses on MIEM student exchange aiming to share collected data based on numbers and experiences. A developed questionnaire addressing exchange mobility benefits on student educational progression as well as on the foreseen future career was handled to all 2019/20 mobility students and the collected data are reported here. Results of the survey show that 90% of the responding students consider that the engaged exchange program will turn into a positive influence on their career and a short 10% did not appreciate the mobility experience.

Published
2021

7. Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head

Author

Almeida, José Carlos Bacelar, Barbosa, Manuel, Eldefrawy, Karim, Graham-Lengrand, Stéphane, Pacheco, Hugo, and Pereira, Vitor

Subjects
Computer Science - Cryptography and Security
Abstract

MPC-in-the-Head (MitH) is a general framework that allows constructing efficient Zero Knowledge protocols for general NP-relations from secure multiparty computation (MPC) protocols. In this paper we give the first machine-checked implementation of this transformation. We begin with an EasyCrypt formalization of MitH that preserves the modular structure of MitH and can be instantiated with arbitrary MPC protocols that satisfy standard notions of security, which allows us to leverage an existing machine-checked secret-sharing-based MPC protocol development. The resulting concrete ZK protocol is proved secure and correct in EasyCrypt. Using a recently developed code extraction mechanism for EasyCrypt we synthesize a formally verified implementation of the protocol, which we benchmark to get an indication of the overhead associated with our formalization choices and code extraction mechanism.

Published
2021

8. Decentralized Privacy-Preserving Proximity Tracing

Author

Troncoso, Carmela, Payer, Mathias, Hubaux, Jean-Pierre, Salathé, Marcel, Larus, James, Bugnion, Edouard, Lueks, Wouter, Stadler, Theresa, Pyrgelis, Apostolos, Antonioli, Daniele, Barman, Ludovic, Chatel, Sylvain, Paterson, Kenneth, Čapkun, Srdjan, Basin, David, Beutel, Jan, Jackson, Dennis, Roeschlin, Marc, Leu, Patrick, Preneel, Bart, Smart, Nigel, Abidin, Aysajan, Gürses, Seda, Veale, Michael, Cremers, Cas, Backes, Michael, Tippenhauer, Nils Ole, Binns, Reuben, Cattuto, Ciro, Barrat, Alain, Fiore, Dario, Barbosa, Manuel, Oliveira, Rui, and Pereira, José

Subjects
Computer Science - Cryptography and Security, Computer Science - Computers and Society
Abstract

This document describes and analyzes a system for secure and privacy-preserving proximity tracing at large scale. This system, referred to as DP3T, provides a technological foundation to help slow the spread of SARS-CoV-2 by simplifying and accelerating the process of notifying people who might have been exposed to the virus so that they can take appropriate measures to break its transmission chain. The system aims to minimise privacy and security risks for individuals and communities and guarantee the highest level of data protection. The goal of our proximity tracing system is to determine who has been in close physical proximity to a COVID-19 positive person and thus exposed to the virus, without revealing the contact's identity or where the contact occurred. To achieve this goal, users run a smartphone app that continually broadcasts an ephemeral, pseudo-random ID representing the user's phone and also records the pseudo-random IDs observed from smartphones in close proximity. When a patient is diagnosed with COVID-19, she can upload pseudo-random IDs previously broadcast from her phone to a central server. Prior to the upload, all data remains exclusively on the user's phone. Other users' apps can use data from the server to locally estimate whether the device's owner was exposed to the virus through close-range physical proximity to a COVID-19 positive person who has uploaded their data. In case the app detects a high risk, it will inform the user., Comment: 46 pages, 6 figures, first published 3 April 2020 on https://github.com/DP-3T/documents where companion documents and code can be found

Published
2020

9. Machine-Checked Security for

Author

Barbosa, Manuel, Dupressoir, François, Grégoire, Benjamin, Hülsing, Andreas, Meijers, Matthias, Strub, Pierre-Yves, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Handschuh, Helena, editor, and Lysyanskaya, Anna, editor

Published
2023
Full Text
View/download PDF

10. Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium

Author

Barbosa, Manuel, Barthe, Gilles, Doczkal, Christian, Don, Jelle, Fehr, Serge, Grégoire, Benjamin, Huang, Yu-Hsuan, Hülsing, Andreas, Lee, Yi, Wu, Xiaodi, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Handschuh, Helena, editor, and Lysyanskaya, Anna, editor

Published
2023
Full Text
View/download PDF

11. Execution Time Program Verification with Tight Bounds

Author

Silva, Ana Carolina, Barbosa, Manuel, Florido, Mário, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Hanus, Michael, editor, and Inclezan, Daniela, editor

Published
2023
Full Text
View/download PDF

12. The Last Mile: High-Assurance and High-Speed Cryptographic Implementations

Author

Almeida, José Bacelar, Barbosa, Manuel, Barthe, Gilles, Grégoire, Benjamin, Koutsos, Adrien, Laporte, Vincent, Oliveira, Tiago, and Strub, Pierre-Yves

Subjects
Computer Science - Cryptography and Security
Abstract

We develop a new approach for building cryptographic implementations. Our approach goes the last mile and delivers assembly code that is provably functionally correct, protected against side-channels, and as efficient as hand-written assembly. We illustrate ur approach using ChaCha20-Poly1305, one of the mandatory ciphersuites in TLS 1.3, and deliver formally verified vectorized implementations which outperform the fastest non-verified code. We realize our approach by combining the Jasmin framework, which offers in a single language features of high-level and low-level programming, and the EasyCrypt proof assistant, which offers a versatile verification infrastructure that supports proofs of functional correctness and equivalence checking. Neither of these tools had been used for functional correctness before. Taken together, these infrastructures empower programmers to develop efficient and verified implementations by "game hopping", starting from reference implementations that are proved functionally correct against a specification, and gradually introducing program optimizations that are proved correct by equivalence checking. We also make several contributions of independent interest, including a new and extensible verified compiler for Jasmin, with a richer memory model and support for vectorized instructions, and a new embedding of Jasmin in EasyCrypt.

Published
2019

16. Continuous Sedation in Palliative Care in Portugal: A Prospective Multicentric Study.

Author

Ferraz-Gonçalves, José António, Flores, Alice, Silva, Ana Abreu, Simões, Ana, Pais, Carmen, Melo, Clarisse, Pirra, Diana, Coelho, Dora, Conde, Lília, Real, Lorena, Feio, Madalena, Barbosa, Manuel, Martins, Maria de Lurdes, Areias, Marlene, Muñoz-Romero, Rafael, Ferreira, Rita Cunha, and Freitas, Susete

Subjects
TERMINAL sedation, PATIENTS' families, PALLIATIVE treatment, PATIENTS, HOSPITAL care
Abstract

Objective: This study aimed to survey the practice of palliative sedation in Portugal, where data on this subject were lacking. Methods: This was a prospective multicentric study that included all patients admitted to each team that agreed to participate. Patients were followed until death, discharge, or after 3 months of follow-up. Results: The study included 8 teams: 4 as palliative care units (PCU), 1 as a hospital palliative care team (HPCT), 2 as home care (HC), and 1 as HPCT and HC. Of the 361 patients enrolled, 52% were male, the median age was 76 years, and 285 (79%) had cancer. Continuous sedation was undergone by 49 (14%) patients: 26 (53%) were male, and the median age was 76. Most patients, 46 (94%), had an oncological diagnosis. Only in a minority of cases, the family, 16 (33%), or the patient, 5 (10%), participated in the decision to sedate. Delirium was the most frequent symptom leading to sedation. The medication most used was midazolam (65%). In the multivariable analysis, only age and the combined score were independently associated with sedation; patients <76 years and those with higher levels of suffering had a higher probability of being sedated. Conclusions: The practice of continuous palliative sedation in Portugal is within the range reported in other studies. One particularly relevant point was the low participation of patients and their families in the decision-making process. Each team must have a deep discussion on this aspect. [ABSTRACT FROM AUTHOR]

Published
2025
Full Text
View/download PDF

18. Algebraic Adversaries in the Universal Composability Framework

Author

Abdalla, Michel, Barbosa, Manuel, Katz, Jonathan, Loss, Julian, Xu, Jiayu, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Tibouchi, Mehdi, editor, and Wang, Huaxiong, editor

Published
2021
Full Text
View/download PDF

19. Provable Security Analysis of FIDO2

Author

Barbosa, Manuel, Boldyreva, Alexandra, Chen, Shan, Warinschi, Bogdan, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Malkin, Tal, editor, and Peikert, Chris, editor

Published
2021
Full Text
View/download PDF

20. Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification

Author

Almeida, José Bacelar, Barbosa, Manuel, Barthe, Gilles, Laporte, Vincent, Oliveira, Tiago, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bhargavan, Karthikeyan, editor, Oswald, Elisabeth, editor, and Prabhakaran, Manoj, editor

Published
2020
Full Text
View/download PDF

21. Universally Composable Relaxed Password Authenticated Key Exchange

Author

Abdalla, Michel, Barbosa, Manuel, Bradley, Tatiana, Jarecki, Stanisław, Katz, Jonathan, Xu, Jiayu, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Micciancio, Daniele, editor, and Ristenpart, Thomas, editor

Published
2020
Full Text
View/download PDF

22. Continuous Sedation in Palliative Care in Portugal: A Prospective Multicentric Study

Author

Ferraz-Gonçalves, José António, primary, Flores, Alice, additional, Silva, Ana Abreu, additional, Simões, Ana, additional, Pais, Carmen, additional, Melo, Clarisse, additional, Pirra, Diana, additional, Coelho, Dora, additional, Conde, Lília, additional, Real, Lorena, additional, Feio, Madalena, additional, Barbosa, Manuel, additional, Martins, Maria de Lurdes, additional, Areias, Marlene, additional, Muñoz-Romero, Rafael, additional, Ferreira, Rita Cunha, additional, and Freitas, Susete, additional

Published
2024
Full Text
View/download PDF

23. X-Wing

Author

Barbosa, Manuel, primary, Connolly, Deirdre, additional, Duarte, João, additional, Kaiser, Aaron, additional, Schwabe, Peter, additional, Varner, Karolin, additional, and Westerbaan, Bas, additional

Published
2024
Full Text
View/download PDF

24. Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality

Author

Barbosa, Manuel, Catalano, Dario, Soleimanian, Azam, Warinschi, Bogdan, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, and Matsui, Mitsuru, editor

Published
2019
Full Text
View/download PDF

29. Indifferentiable Authenticated Encryption

Author

Barbosa, Manuel, Farshim, Pooya, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Shacham, Hovav, editor, and Boldyreva, Alexandra, editor

Published
2018
Full Text
View/download PDF

31. Secure Multiparty Computation from SGX

Author

Bahmani, Raad, Barbosa, Manuel, Brasser, Ferdinand, Portela, Bernardo, Sadeghi, Ahmad-Reza, Scerri, Guillaume, Warinschi, Bogdan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Kiayias, Aggelos, editor

Published
2017
Full Text
View/download PDF

32. Labeled Homomorphic Encryption : Scalable and Privacy-Preserving Processing of Outsourced Data

Author

Barbosa, Manuel, Catalano, Dario, Fiore, Dario, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Foley, Simon N., editor, Gollmann, Dieter, editor, and Snekkenes, Einar, editor

Published
2017
Full Text
View/download PDF

37. Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC

Author

Almeida, José Bacelar, Barbosa, Manuel, Barthe, Gilles, Dupressoir, François, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Peyrin, Thomas, editor

Published
2016
Full Text
View/download PDF

38. Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation

Author

Arriaga, Afonso, Barbosa, Manuel, Farshim, Pooya, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Dunkelman, Orr, editor, and Sanadhya, Somitra Kumar, editor

Published
2016
Full Text
View/download PDF

43. Formally verifying Kyber

Author

Bacelar Almeida, José, primary, Barbosa, Manuel, additional, Barthe, Gilles, additional, Grégoire, Benjamin, additional, Laporte, Vincent, additional, Léchenet, Jean-Christophe, additional, Oliveira, Tiago, additional, Pacheco, Hugo, additional, Quaresma, Miguel, additional, Schwabe, Peter, additional, Séré, Antoine, additional, and Strub, Pierre-Yves, additional

Published
2023
Full Text
View/download PDF

44. Traffic management and control of automated guided vehicles using artificial neural networks

Author

Barbosa, Manuel Romano dos Santos Pinto

Subjects
629.8, QA76 Electronic computers. Computer science. Computer software, HE Transportation and Communications
Abstract

An industrial traffic management and control system based on Automated Guided Vehicles faces several combined problems. Decisions must be made concerning which vehicles will respond, or are allocated to each of the transport orders. Once a vehicle is allocated a transport order, a route has to be selected that allows it to reach its target location. In order for the vehicle to move efficiently along the selected route it must be provided with the means to recognise and adapt to the changing characteristics of the path it must follow. When several vehicles are involved these decisions are interrelated and must take into account the coordination of the movements of the vehicles in order to avoid collisions and maximise the performance of the transport system. This research concentrates on the problem of routing the vehicles that have already been assigned destinations associated with transport orders. In nearly all existing AGV systems this problem is simplified by considering there to be a fixed route between source and destination workstations. However if the system is to be used more efficiently, and particularly if it must support the requirements of modern manufacturing strategies, such as Justin- Time and Flexible Manufacturing Systems, of moving very small batches more frequently, then there is a need for a system capable of dealing with the increased complexity of the routing problem. The consideration of alternative paths between any two workstations together with the possibility of other vehicles blocking routes while waiting at a particular location, increases enormously the number of alternatives that must be considered in order to identify the routes for each vehicle leading to an optimum solution. Current methods used to solve this type of problem do not provide satisfactory solutions for all cases, which leaves scope for improvement. The approach proposed in this work takes advantage of the use of Backpropagation Artificial Neural Networks to develop a solution for the routing problem. A novel aspect of the approach implemented is the use of a solution derived for routing a single vehicle in a physical layout when some pieces of track are set as unavailable, as the basis for the solution when several vehicles are involved. Another original aspect is the method developed to deal with the problem of selecting a route between two locations based on an analysis of the conditions of the traffic system, when each movement decision has to be made. This lead to the implementation of a step-by-step search of the available routes for each vehicle. Two distinct phases can be identified in the approach proposed. First the design of a solution based on an ANN to solve the single vehicle case, and subsequently the development and testing of a solution for a multi-vehicle case. To test and implement these phases a specific layout was selected, and an algorithm was implemented to generate the data required for the design of the ANN solution. During the development of alternative solutions it was found that the addition of simple rules provided a useful means to overcome some of the limitations of the ANN solution, and a "hybrid" solution was originated. Numerous computer simulations were performed to test the solutions developed against alternatives based on the best published heuristic rules. The results showed that while it was not possible to generate a globally optimal solution, near optimal solutions could be obtained and the best hybrid solution was marginally better than the best of the currently available heuristic rules.

Published
1997

46. The Related-Key Analysis of Feistel Constructions

Author

Barbosa, Manuel, Farshim, Pooya, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Cid, Carlos, editor, and Rechberger, Christian, editor

Published
2015
Full Text
View/download PDF

48. O Contexto Histórico da Educação Ambiental no Amazonas: uma revisão bibliográfica

Author

Barbosa, Manuel, Abreu Lima, Renato, Barbosa, Manuel, and Abreu Lima, Renato

Abstract

A preocupação de cientistas, educadores, filósofos, poetas e observadores quanto ao afastamento do homem em relação a natureza vem de muitos séculos. Nesse sentido, este trabalho objetivou analisar o contexto histórico da Educação Ambiental no Amazonas no período de 2008 á 2021, através de uma revisão bibliográfica traçando os pontos relevantes nesse processo, que contribuíram no fortalecimento da EA nos últimos anos. Para a coleta de dados foram utilizadas as bases de dados SCIELO, Google acadêmico, Google Scholar, Capes e Plataforma Sucupira, não foi limitado idioma na tentativa de obter quantidade relevante de referencial teórico, para coleta de dados reuniu-se informações fornecidas e divulgadas sem considerar o período de publicação. An average of 43 scientific works, including articles, dissertations, and theses, were found. Of these, only 20 were selected according to the inclusion and exclusion criteria. All of these works were published in the Portuguese language. No que se refere a uma Educação Ambiental no Amazonas é urgente a necessidade de que ela seja participativa, transformadora e emancipatória, em busca da transição da consciência ingênua à consciência crítica. To achieve praxis (reflection-action), Freire's proposed generative themes can contribute to addressing the dichotomy between society/culture and nature and, in this sense, realize the attributes of EE from a Critical-Transformative perspective., The concern of scientists, educators, philosophers, poets and observers regarding man's distancing from nature dates back many centuries. In this sense, this work aimed to analyze the historical context of Environmental Education in Amazonas from 2008 to 2021, through a bibliographical review tracing the relevant points in this process, which contributed to the strengthening of EE in recent years. For data collection, the SCIELO, Google Academic, Google Scholar, Capes and Plataforma Sucupira databases were used, language was not limited in an attempt to obtain a relevant amount of theoretical reference, for data collection, information provided and disclosed without consider the period of publication. An average of 43 scientific works were found, including articles, dissertations and theses, of which only 20 were selected according to the inclusion and exclusion criteria. Of these works, all were published in Portuguese. With regard to Environmental Education in Amazonas, there is an urgent need for it to be participatory, transformative and emancipatory, in search of the transition from naive consciousness to critical consciousness. And for praxis to occur (reflection-action), the generating themes, proposed by Freire, can meet the confrontation of the society/culture and nature dichotomy and, in this sense, implement the attributes of EE in a Critical-Transforming perspective., La preocupación de científicos, educadores, filósofos, poetas y observadores por el alejamiento del hombre de la naturaleza se remonta a muchos siglos atrás. En ese sentido, este trabajo tuvo como objetivo analizar el contexto histórico de la Educación Ambiental en Amazonas de 2008 a 2021, a través de una revisión bibliográfica rastreando los puntos relevantes de este proceso, que contribuyeron al fortalecimiento de la EA en los últimos años. Para la recolección de datos se utilizaron las bases de datos SCIELO, Google Academic, Google Scholar, Capes y Plataforma Sucupira, no se limitó el idioma en un intento de obtener una cantidad relevante de referencia teórica, para la recolección de datos, la información proporcionada y divulgada sin considerar el período de publicación. Se encontraron un promedio de 43 trabajos científicos, entre artículos, disertaciones y tesis, de los cuales solo 20 fueron seleccionados según los criterios de inclusión y exclusión. De estas obras, todas fueron publicadas en portugués. En cuanto a la Educación Ambiental en Amazonas, urge que sea participativa, transformadora y emancipadora, en busca del tránsito de la conciencia ingenua a la conciencia crítica. Y para que ocurra la praxis (reflexión-acción), los temas generadores, propuestos por Freire, pueden enfrentar la confrontación de la dicotomía sociedad/cultura y naturaleza y, en ese sentido, implementar los atributos de la EA en una perspectiva Crítica-Transformadora.

Published
2023

49. Vulnerabilização Digital da Democracia e Ação Educativa.

Author

Barbosa, Manuel

Abstract

Copyright of Revista Portuguesa de Pedagogia is the property of Imprensa da Universidade de Coimbra and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Published
2024
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results