Search

Your search keyword '"Gaspar, Jaime"' showing total 10 results
Start Over Author "Gaspar, Jaime" Language english
10 results on '"Gaspar, Jaime"'

1. Transformation of cryptographic primitives : provable security and proof presentation

Author

Gaspar, Jaime, Thompson, Simon, and Boiten, Eerke

Subjects
004
Abstract

We analyse transformations between cryptographic primitives and, for each transformation, we do two studies: its provable security (proving that if the original cryptographic primitive is secure, then the transformed cryptographic primitive is also secure); its proof presentation (exploring improved ways of presenting the proof). Our contributions divide into two sets: security proofs (sometimes new proofs and sometimes variants of known proofs); proof presentations (inspired by our security proofs) and extraction of lessons learned from them.

Published
2019

7. Hardwiring truth in functional interpretations.

Author

Dinis, Bruno and Gaspar, Jaime

Subjects
MODULAR arithmetic, ARITHMETIC
Abstract

We present four different approaches to prove the soundness theorem for variants with t-truth of functional interpretations. To showcase our different methods we focus on the intuitionistic nonstandard bounded functional interpretation of the nonstandard extensional Heyting arithmetic in all finite types because a version with t-truth for this interpretation has not been given before. Also, because it is a more involved interpretation than others since it includes both nonstandard principles and majorisability. This leads us to believe that if the approaches work for this more complicated functional interpretation, then they should also work for simpler functional interpretations (and realisabilities). [ABSTRACT FROM AUTHOR]

Published
2023
Full Text
View/download PDF

8. Todas as afirma\c{c}\~oes verdadeiras s\~ao demonstr\'aveis

Author

Gaspar, Jaime

Subjects
Computer Science::Computer Vision and Pattern Recognition, Mathematics - History and Overview, Mathematics::History and Overview, Physics::Physics Education, Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing), 00A09, 03-01, Computer Science::Digital Libraries
Abstract

In this instructional exposition in Portuguese for the popularisation of mathematics, we state and prove the completeness theorem.

Published
2012

9. Proof interpretations with truth.

Author

Gaspar, Jaime and Oliva, Paulo

Subjects
*MATHEMATICAL proofs, *MATHEMATICAL logic, *LINEAR systems, *MATHEMATICAL induction, *MATHEMATICAL variables, *EQUIVALENCE relations (Set theory)
Abstract

This article systematically investigates so-called 'truth variants' of several functional interpretations. We start by showing a close relation between two variants of modified realizability, namely modified realizability with truth and q-modified realizability. Both variants are shown tobe derived from a single 'functional interpretation with truth' of intuitionistic linear logic. This analysis suggests that several functional interpretations have truth and q-variants. These variants, however, require a more involved modification than the ones previously considered. Following this lead we present truth and q-variants of the Diller-Nahm interpretation, the bounded modified realizability and the bounded functional interpretation (© 2010 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim) [ABSTRACT FROM AUTHOR]

Published
2010
Full Text
View/download PDF

10. All Triangles at Once.

Author

Gaspar, Jaime and Neto, Orlando

Subjects
*TRIANGLES, *MODULAR forms, *MODULAR functions
Abstract

The article presents a mathematical solution to the problem of determining a triangle using modulo similarity.

Published
2015
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results