Showing 1 - 1 results of 1 for search '(("advanced computation _ computing program") OR ("based computation from example of"))~' Skip to content
  • Portal do Governo Brasileiro
Logo do Ibict Instituto Brasileiro de Informação em Ciência e Tecnologia
  • Home
  • About
  • Data Sources
  • Indicators
  • Contact
  • Faq
  • Your Account
  • Log Out
  • Login
  • Language
    • Português (Brasil)
    • English
Advanced search
  • Search Results - (("advanced computation _ computing program") OR ("based computation from example of"))~
  • Export RIS
  • Export CSV
Search alternatives:
"advanced computation _ computing program" » "advanced computations _ computing program" (Expand search), "advanced computational _ computing program" (Expand search), "advance computational _ computing program" (Expand search), "advanced computation _ consulting program" (Expand search), "advanced computation _ computer program" (Expand search), "advanced computation _ computador program" (Expand search)
"based computation from example of" » "based computational from example of" (Expand search), "based competition from example of" (Expand search), "based compilation from example of" (Expand search), "based amputation from example of" (Expand search), "based complication from example of" (Expand search), "based computation from examples of" (Expand search), "based computation from sample of" (Expand search), "based computation first example of" (Expand search)
Showing 1 - 1 results of 1 for search '(("advanced computation _ computing program") OR ("based computation from example of"))~', query time: 1.01s Refine Results
1
Verifying constant-time implementations
by Almeida, José Bacelar
Published 2016
“... is based on a simple reduction of constant-time security of a program P to safety of a prod- uct program...”
Access document
Export CSV Export RIS

Narrow Search

Institution
RCAAP 1
Source
Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) 1
Author
Almeida, José Bacelar 1 Barbosa, Manuel 1 Barthe, Gilles Jacques Denis 1 Dupressoir, François 1 Emmi, Michael 1
Language
Inglês 1
Subject
Ciências da Computação e da Informação 1 Science & Technology 1 constant-time policy 1 implementation security 1
Year of Publication
Youtube Logo Facebook Logo Twitter Logo Linkedin Logo
  • Home
  • About
  • Data Sources
  • Indicators
  • Contact
logo de assinatura do ibict logo de assinatura do ministério

Instituto Brasileiro de Informação em Ciência e Tecnologia (Ibict)
SAUS Quadra 5 - Lote 6 Bloco H - Asa sul - CEP: 70.070-912 - Brasília - DF

Loading...