Go to:
Logótipo
Você está em: Start > Publications > View > A Formal Treatment of the Role of Verified Compilers in Secure Computation
Map of Premises
Principal
Publication

A Formal Treatment of the Role of Verified Compilers in Secure Computation

Title
A Formal Treatment of the Role of Verified Compilers in Secure Computation
Type
Article in International Scientific Journal
Year
2021
Authors
Hugo José Pereira Pacheco
(Author)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page View ORCID page
José Carlos Bacelar Almeida
(Author)
Other
The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. Without AUTHENTICUS Without ORCID
Gilles Barthe
(Author)
Other
The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. Without AUTHENTICUS Without ORCID
Manuel Barbosa
(Author)
FCUP
View Personal Page Send message Search for Participant Publications View Authenticus page Without ORCID
Vitor Pereira
(Author)
Other
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications Without AUTHENTICUS Without ORCID
Bernardo Portela
(Author)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page View ORCID page
Journal
Serial No. Submitted 03/2020 Vol. Accepted 11/2021, In Press No. JLAMP-D-20-00027
ISSN: 2352-2208
Publisher: Elsevier
Indexing
Publicação em ISI Web of Science ISI Web of Science
Publicação em Scopus Scopus
Other information
Type (Professor's evaluation): Scientific
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same journal

Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday (2025)
Another Publication in an International Scientific Journal
Madeira, A; Oliveira, JN; Proença, J; Neves, R
Location automata for synchronised shuffle expressions (2023)
Article in International Scientific Journal
Broda, S; António Machiavelo; Nelma Moreira; Rogério Reis
Deciding Kleene algebra terms equivalence in Coq (2015)
Article in International Scientific Journal
Nelma Moreira; David Pereira; Simao Melo de Sousa
Branching pomsets: Design, expressiveness and applications to choreographies (2024)
Article in International Scientific Journal
Edixhoven, L; Jongmans, SS; Proença, J; Castellani, I
bGSL: An imperative language for specification and refinement of backtracking programs (2023)
Article in International Scientific Journal
Dunne, S; Ferreira, JF; Mendes, A; Ritchie, C; Stoddart, B; Zeyda, F

See all (7)

Recommend this page Top
Copyright 1996-2025 © Faculdade de Medicina Dentária da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-09-09 at 01:09:37 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book