skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover IngentaConnect Journals remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Fast Linear-Arithmetic Solver for DPLL(T)
A Fast Linear-Arithmetic Solver for DPLL(T)
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Fast Linear-Arithmetic Solver for DPLL(T)

Dutertre, Bruno ; de Moura, Leonardo

Computer Aided Verification, 2006, p.81-94 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
2
Lazy Abstraction with Interpolants
Lazy Abstraction with Interpolants
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Lazy Abstraction with Interpolants

McMillan, Kenneth L.

Computer Aided Verification, 2006, p.123-136 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
3
A Very Compact S-Box for AES
A Very Compact S-Box for AES
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Very Compact S-Box for AES

Canright, D.

Cryptographic Hardware and Embedded Systems – CHES 2005, 2005, p.441-455 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
4
A Stochastic Model for Differential Side Channel Cryptanalysis
A Stochastic Model for Differential Side Channel Cryptanalysis
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Stochastic Model for Differential Side Channel Cryptanalysis

Schindler, Werner ; Lemke, Kerstin ; Paar, Christof

Cryptographic Hardware and Embedded Systems – CHES 2005, 2005, p.30-46 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
5
A Review of Mobile HCI Research Methods
A Review of Mobile HCI Research Methods
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Review of Mobile HCI Research Methods

Kjeldskov, Jesper ; Graham, Connor

Human-Computer Interaction with Mobile Devices and Services, 2003, p.317-335 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Fast Multiplication on Elliptic Curves Over GF(2m) without precomputation
Fast Multiplication on Elliptic Curves Over GF(2m) without precomputation
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Fast Multiplication on Elliptic Curves Over GF(2m) without precomputation

López, Julio ; Dahab, Ricardo

Cryptographic Hardware and Embedded Systems, 1999, p.316-327 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Model Checking Multithreaded Programs with Asynchronous Atomic Methods

Sen, Koushik ; Viswanathan, Mahesh

Computer Aided Verification, 2006, p.300-314 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
8
AES on FPGA from the Fastest to the Smallest
AES on FPGA from the Fastest to the Smallest
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

AES on FPGA from the Fastest to the Smallest

Good, Tim ; Benaissa, Mohammed

Cryptographic Hardware and Embedded Systems – CHES 2005, 2005, p.427-440 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
9
DES and Differential Power Analysis The “Duplication” Method
DES and Differential Power Analysis The “Duplication” Method
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

DES and Differential Power Analysis The “Duplication” Method

Goubin, Louis ; Patarin, Jacques

Cryptographic Hardware and Embedded Systems, 1999, p.158-172 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
On Second-Order Differential Power Analysis
On Second-Order Differential Power Analysis
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

On Second-Order Differential Power Analysis

Joye, Marc ; Paillier, Pascal ; Schoenmakers, Berry

Cryptographic Hardware and Embedded Systems – CHES 2005, 2005, p.293-308 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (135)
  2. Revistas revisadas por pares (190)

Data de Publicação 

De até
Refinar
  1. Antes de2000  (52)
  2. 2000Até2001  (56)
  3. 2002Até2003  (9)
  4. 2004Até2006  (75)
  5. Após 2006  (3)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (16)
  2. Francês  (1)
  3. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.