publicações selecionadas
-
artigo académico
- Formally verifying Kyber Episode IV: Implementation correctness. IACR Transactions on Cryptographic Hardware and Embedded System. 2023
- Educação e democracia: O desafio populista. Revista Educación, Política y Sociedad. 2022
- A formal treatment of the role of verified compilers in secure computation. Journal of Logical and Algebraic Methods in Programming. 2022
- EDUCAÇÃO E DEMOCRACIA: DO RISCO DE DESARTICULAÇÃO A UMA RECOMPOSIÇÃO CRÍTICA. Cadernos de Pesquisa. 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
- 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, 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
- 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. Revista Lusófona de Educação. 2013
- Formal verification of side-channel countermeasures using self-composition. International Journal on Software Tools for Technology Transfer. 2013
- CAOVerif: An open-source deductive verification platform for cryptographic software implementations. International Journal on Software Tools for Technology Transfer. 2012
- 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. International Journal on Software Tools for Technology Transfer. 2010
- Deductive verification of cryptographic software. Innovations in Systems and Software Engineering. 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. International Journal on Software Tools for Technology Transfer. 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
- Recursion patterns and time-analysis. ACM SIGPLAN Notices. 2005
-
artigo de conferência
- Formally Verifying Kyber - Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt 2024
- Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head. Proceedings of the ACM Conference on Computer and Communications Security. 2021
- Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification. International Journal on Software Tools for Technology Transfer. 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
- Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC. International Journal on Software Tools for Technology Transfer. 2016
- Certified computer-aided cryptography: Efficient provably secure machine code from high-level implementations. Proceedings of the ACM Conference on Computer and Communications Security. 2013
- A model-based approach to the development of distributed control systems 2004
-
documento
- Vulnerabilização digital da democracia e ação educativa. Revista Portuguesa de Pedagogia. 2024
- Educação, poder e resistência na era digital. Espaço Pedagógico. 2022
- Decentralized privacy-preserving proximity tracing 2020
- The last mile: High-Assurance and High-Speed cryptographic implementations. IEEE Symposium on Security and Privacy. 2020
- Educação, justiça e empoderamento 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
- Educação, desenvolvimento e empoderamento: para repensar a formação universitária de educadores e interventores sociais 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
- Verifying constant-time implementations 2016
- Education and struggles for recognition: the strategic role of empowerment. Revista Espanola de Pedagogia. 2016
- 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
- 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. International Journal on Software Tools for Technology Transfer. 2015
- Educação e autonomização: acerca das ambiguidades de uma relação nem sempre linear e transparente 2014
- 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. Revista Lusófona de Educação. 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
- 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. International Journal on Software Tools for Technology Transfer. 2013
- On the semantic security of functional encryption schemes. International Journal on Software Tools for Technology Transfer. 2013
- Da solidão autocomplacente à solidariedade cidadã: uma pedagogia do engajamento da sociedade civil na inclusão de alteridades culturais imigrantes 2012
- Delegatable homomorphic encryption with applications to secure outsourcing of computation. International Journal on Software Tools for Technology Transfer. 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
- On the joint security of signature and encryption schemes under randomness reuse: efficiency and security amplification. International Journal on Software Tools for Technology Transfer. 2012
- Practical realisation and elimination of an ECC-related software bug attack. International Journal on Software Tools for Technology Transfer. 2012
- Type checking cryptography implementations. International Journal on Software Tools for Technology Transfer. 2012
- Actas do Colóquio Internacional Educação, Cultura e Imaginário: Recontextualização e Tradição 2011
- Formal verification of side channel countermeasures using self-composition. International Journal on Software Tools for Technology Transfer. 2011
- O imaginário educacional da autonomia sob o signo da luz e das sombras 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
- Relations among notions of complete non-malleability: indistinguishability characterisation and efficient construction without random oracles. International Journal on Software Tools for Technology Transfer. 2010
- Strong knowledge extractors for public-key encryption schemes. International Journal on Software Tools for Technology Transfer. 2010
- Constructive and destructive use of compilers in elliptic curve cryptography. Journal of Cryptology. 2009
- Security analysis of standard authentication and key agreement protocols utilising timestamps. International Journal on Software Tools for Technology Transfer. 2009
- Certificateless sIgncryption 2008
- 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
- Secure biometric authentication with improved accuracy. International Journal on Software Tools for Technology Transfer. 2008
- Compiler assisted elliptic curve cryptography. International Journal on Software Tools for Technology Transfer. 2007
- Randomness reuse: extensions and improvements. International Journal on Software Tools for Technology Transfer. 2007
- Secure cryptographic workflow in the standard model. International Journal on Software Tools for Technology Transfer. 2006
- Identity based cryptography from bilinear pairings 2005
- Efficient identity-based key encapsulation to multiple parties. International Journal on Software Tools for Technology Transfer. 2005
- On the automatic construction of indistinguishable operations. International Journal on Software Tools for Technology Transfer. 2005
- A model-based approach to the development of distributed control systems 2004
-
livro