publicações selecionadas
-
artigo académico
- Formally verifying Kyber Episode IV: Implementation correctness. IACR Transactions on Cryptographic Hardware and Embedded System. 2023
- A formal treatment of the role of verified compilers in secure computation. Journal of Logical and Algebraic Methods in Programming. 2022
- ROSY: An elegant language to teach the pure reactive nature of robot programming. International Journal of Robotic Computing. 2021
- Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report). Proceedings of the ACM on Programming Languages. 2018
- Towards new data management platforms for a DSO as market enabler – UPGRID Portugal demo. CIRED - Open Access Proceedings Journal. 2017
- Composing least-change lenses. Electronic Communications of the EASST. 2013
-
artigo de conferência
- 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
- ROSY: An elegant language to teach the pure reactive nature of robot programming 2020
- Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks. Proceedings IEEE Computer Security Foundations Symposium. 2018
- Bidirectional spreadsheet formulas. Symposium on Visual Languages and Human Centric Computing VL/HCC. 2014
- Towards a framework for multidirectional model transformations 2014
- Delta lenses over inductive types. Electronic Communications of the EASST. 2012
- Multifocal: A strategic bidirectional transformation language for XML schemas. International Journal on Software Tools for Technology Transfer. 2012
- Algebraic specialization of generic functions for recursive types. Electronic Notes in Theoretical Computer Science. 2011
- Calculating with lenses: optimising bidirectional transformations 2011
- Generic point-free lenses. International Journal on Software Tools for Technology Transfer. 2010
- Mapping between Alloy specifications and database implementations 2009
- Coupled schema transformation and data conversion for XML and SQL. International Journal on Software Tools for Technology Transfer. 2007
-
capítulo de livro
- Relations as executable specifications: Taming partiality and non-determinism using invariants. International Journal on Software Tools for Technology Transfer. 2012
-
documento
- ROSY: An elegant language to teach the pure reactive nature of robot programming 2019
- Towards a framework for multi-directional model transformations. CEUR Workshop Proceedings. 2014
- A generic scheme and properties of bidirectional transformation 2013
- Bidirectional data transformation by calculation 2012
-
livro