publicações selecionadas
-
artigo académico
- Educação, justiça e empoderamento. Revista Espaço Pedagógico. 2019
- Educação, vida precária e capacitação. Educação & Sociedade. 2018
- A Novel Concept of CNC Machining Center Automatic Feeder. Procedia Manufacturing. 2018
- Educación, desarrollo y empoderamiento . Espacios en Blanco. Revista de Educación. 2018
- Educación, desarrollo y empoderamiento: hacia un nuevo planteamiento de la formación universitaria de educadores y trabajadores sociales. Espacios en Blanco. Revista de Educación. 2018
- Identidade do professor. Revista Reflexão e Ação. 2017
- Empoderamento de indivíduos e comunidades: a educação face à produção de vulnerabilidades. Paideia: Revista de Educación. 2017
- Education and struggles for recognition: the strategic role of empowerment. Revista Espanola de Pedagogia. 2016
- Education and development under the imperative of growth: Reframing from civil society,A Educação e o Desenvolvimento sob o Imperativo do Crescimento: Ressignificação a partir da Sociedade Civil 2013
- Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols. IACR Cryptology ePrint Archive. 2012
- Education in multicultural social arenas. Revaluation of the role of civil society. Teoria de la Educacion. 2011
- A certifying compiler for zero-knowledge proofs of knowledge based on ¿-protocols. Computational Methods in Applied Sciences. 2010
- Education and the challenges of multi-culturalization: Pedagogy of civil society,Educação e desafios da multiculturalização: Uma pedagogia da sociedade civil. Cadernos de Pesquisa. 2010
- Verifying cryptographic software correctness with respect to reference implementations. Computational Methods in Applied Sciences. 2009
- Education, citizenship and civil society. Rethinking meanings and articulations in times of change,Educação, cidadania e sociedade civil. Repensando sentidos e articulações em tempos de mudança. Teoria de la Educacion. 2008
-
artigo de conferência
- Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification. Computational Methods in Applied Sciences. 2020
- The last mile: High-Assurance and High-Speed cryptographic implementations. IEEE Symposium on Security and Privacy. 2020
- A Machine-Checked Proof of Security for AWS Key Management Service 2019
- Machine-Checked Proofs for Cryptographic Standards Indifferentiability of SPONGE and Secure High-Assurance Implementations of SHA-3 2019
- Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks. Proceedings IEEE Computer Security Foundations Symposium. 2018
- A Fast and Verified Software Stack for Secure Function Evaluation. Proceedings of the ACM Conference on Computer and Communications Security. 2017
- Jasmin: High-Assurance and High-Speed Cryptography. Proceedings of the ACM Conference on Computer and Communications Security. 2017
- Performance trade-offs on a secure multi-party relational database 2017
- Verifying constant-time implementations 2016
- Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC. Computational Methods in Applied Sciences. 2016
- ADSNARK: Nearly practical and privacy-preserving proofs on authenticated data. IEEE Symposium on Security and Privacy. 2015
- A educação como empoderamento na ótica do desenvolvimento: uma discussão de modelos. Revista Galego-Portuguesa de Psicoloxía e Educación. 2015
- The related-key analysis of feistel constructions. Computational Methods in Applied Sciences. 2015
- Educação e autonomização: acerca das ambiguidades de uma relação nem sempre linear e transparente 2014
- Certified computer-aided cryptography: Efficient provably secure machine code from high-level implementations. Proceedings of the ACM Conference on Computer and Communications Security. 2013
- Educação, democracia e sociedade civil 2013
- Educação, democracia e sustentabilidade: uma reconsideração da ação da sociedade civil 2013
- On the relationship between functional encryption, obfuscation, and fully homomorphic encryption. Computational Methods in Applied Sciences. 2013
- On the semantic security of functional encryption schemes. Computational Methods in Applied Sciences. 2013
- Delegatable homomorphic encryption with applications to secure outsourcing of computation. Computational Methods in Applied Sciences. 2012
- On the joint security of signature and encryption schemes under randomness reuse: efficiency and security amplification. Computational Methods in Applied Sciences. 2012
- Practical realisation and elimination of an ECC-related software bug attack. Computational Methods in Applied Sciences. 2012
- Type checking cryptography implementations. Computational Methods in Applied Sciences. 2012
- O imaginário educacional da autonomia sob o signo da luz e das sombras 2011
- Relations among notions of complete non-malleability: indistinguishability characterisation and efficient construction without random oracles. Computational Methods in Applied Sciences. 2010
- Strong knowledge extractors for public-key encryption schemes. Computational Methods in Applied Sciences. 2010
- Security analysis of standard authentication and key agreement protocols utilising timestamps. Computational Methods in Applied Sciences. 2009
- Certificateless sIgncryption 2008
- Secure biometric authentication with improved accuracy. Computational Methods in Applied Sciences. 2008
- Compiler assisted elliptic curve cryptography. Computational Methods in Applied Sciences. 2007
- Randomness reuse: extensions and improvements. Computational Methods in Applied Sciences. 2007
- Secure cryptographic workflow in the standard model. Computational Methods in Applied Sciences. 2006
- Efficient identity-based key encapsulation to multiple parties. Computational Methods in Applied Sciences. 2005
- On the automatic construction of indistinguishable operations. Computational Methods in Applied Sciences. 2005
- A model-based approach to the development of distributed control systems 2004
-
artigo de revista
- Educação e democracia: O desafio populista. Revista Educación, Política y Sociedad. 2022
- EDUCAÇÃO E DEMOCRACIA: DO RISCO DE DESARTICULAÇÃO A UMA RECOMPOSIÇÃO CRÍTICA. Cadernos de Pesquisa. 2020
- Decentralized privacy-preserving proximity tracing 2020
- Educação, justiça e empoderamento 2019
- EMPODERAMENTO POLÍTICO DOS CIDADÃOS. Educar em Revista. 2019
- Educação, vida precária e capacitação. Educação & Sociedade. 2018
- Educación, desarrollo y empoderamiento: hacia un nuevo planteamiento de la formación universitaria de educadores y trabajadores sociales. Espacios en Blanco. Revista de Educación. 2018
- Identidade do professor: uma reconceitualização com base no referencial do empoderamento 2018
- Empoderamento de indivíduos e comunidades: a educação face à produção de vulnerabilidades. Paideia: Revista de Educación. 2017
- Education, empowerment and struggles for recognition: Citizenry rights. Educação e Pesquisa. 2016
- Education and struggles for recognition: the strategic role of empowerment. Revista Espanola de Pedagogia. 2016
- Education and ambiguities of the au tonomization: For a critical pedagogy of the promotion of the autonomous individuals,Educação e ambiguidades da autonomização: Para uma pedagogia crítica da promoção do indivíduo autónomo. Revista Brasileira de Educação. 2015
- Educação e desenvolvimento: cultivando a humanidade nas esferas da sociedade civil. Espaço Pedagógico. 2014
- A educação e o desenvolvimento sob o imperativo do crescimento: ressignificação a partir da sociedade civil 2013
- A educação e o desenvolvimento na agenda europeia do crescimento: uma reformulação desde as organizações da sociedade civil. Ágora Filosófica. 2013
- Educação e democracia: a sociedade civil na resposta a desafios emergentes. Revista Galego-Portuguesa de Psicoloxía e Educación. 2013
- Formal verification of side-channel countermeasures using self-composition. Computational Methods in Applied Sciences. 2013
- CAOVerif: An open-source deductive verification platform for cryptographic software implementations. Computational Methods in Applied Sciences. 2012
- Educação e imaginário intercultural: recomposição do papel da sociedade civil. Educação. 2012
- Nós e eles: responsabilidade social dos media na construção de uma cidadania inclusiva. Comunicação e Sociedade. 2012
- Formal verification of side channel countermeasures using self-composition. Computational Methods in Applied Sciences. 2011
- Educação e desafios da multiculturalização: uma pedagogia da sociedade civil. Cadernos de Pesquisa. 2010
- A deductive verification platform for cryptographic software. Electronic Communications of the EASST. 2010
- Deductive verification of cryptographic software. Innovations in Systems and Software Engineering. 2010
- Constructive and destructive use of compilers in elliptic curve cryptography. Journal of Cryptology. 2009
- Educação,cidadania e sociedade civil. Repensando sentidos e articulações em tempos de mudança. Teoría de la Educación: Revista Interuniversitaria. 2008
- Recursion patterns and time-analysis. ACM SIGPLAN Notices. 2005
-
capítulo de livro
- Educação, desenvolvimento e empoderamento: para repensar a formação universitária de educadores e interventores sociais 2018
- A educação escolar em um mundo complexo e multicultural 2016
- Educação, democracia e sustentabilidade: o protagonismo da sociedade civil revisitado 2016
- Filosofias do empoderamento e educação emancipatória 2016
- Da solidão autocomplacente à solidariedade cidadã: uma pedagogia do engajamento da sociedade civil na inclusão de alteridades culturais imigrantes 2012
-
documento
-
livro
-
relatório