skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: autor: Kremer, Steve remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Automated Verification of Equivalence Properties of Cryptographic Protocols
Automated Verification of Equivalence Properties of Cryptographic Protocols
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automated Verification of Equivalence Properties of Cryptographic Protocols

Chadha, Rohit ; Cheval, Vincent ; Ciobâcă, Ştefan ; Kremer, Steve

ACM transactions on computational logic, 2016-11, Vol.17 (4), p.1-32 [Periódico revisado por pares]

Association for Computing Machinery

Texto completo disponível

Citações Citado por
2
Cybersécurité: Défis actuels et axes de recherche à l'Inria
Cybersécurité: Défis actuels et axes de recherche à l'Inria
Material Type:
Livro 		Adicionar ao Meu Espaço

Cybersécurité: Défis actuels et axes de recherche à l'Inria

Kremer, Steve ; Mé, Ludovic ; Rémy, Didier ; Roca, Vincent

Inria 2019

Sem texto completo

Citações Citado por
3
Cybersecurity: Current challenges and Inria's research directions
Cybersecurity: Current challenges and Inria's research directions
Material Type:
Livro 		Adicionar ao Meu Espaço

Cybersecurity: Current challenges and Inria's research directions

Kremer, Steve ; Mé, Ludovic ; Rémy, Didier ; Roca, Vincent

Inria 2019

Sem texto completo

Citações Citado por
4
Symbolic protocol verification with dice
Symbolic protocol verification with dice
Material Type:
Artigo 		Adicionar ao Meu Espaço

Symbolic protocol verification with dice

Cheval, Vincent ; Crubillé, Raphaëlle ; Kremer, Steve

Journal of computer security, 2023-10, Vol.31 (5), p.501 [Periódico revisado por pares]

Amsterdam: IOS Press BV

Texto completo disponível

Citações Citado por
5
The Hitchhiker’s Guide to Decidability and Complexity of Equivalence Properties in Security Protocols
The Hitchhiker’s Guide to Decidability and Complexity of Equivalence Properties in Security Protocols
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

The Hitchhiker’s Guide to Decidability and Complexity of Equivalence Properties in Security Protocols

Cheval, Vincent ; Kremer, Steve ; Rakotonirina, Itsaka Guttman, Joshua ; Ban Kirigin, Tajana ; Talcott, Carolyn ; Kuznetsov, Stepan ; Thau Loo, Boon ; Okada, Mitsuhiro ; Nigam, Vivek

Logic, Language, and Security, 2020, Vol.LNCS-12300, p.127-145 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
6
Automated analysis of security protocols with global state
Automated analysis of security protocols with global state
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automated analysis of security protocols with global state

Kremer, Steve ; Künnemann, Robert

Journal of computer security, 2016-01, Vol.24 (5), p.583-616 [Periódico revisado por pares]

IOS Press

Texto completo disponível

Citações Citado por
7
A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems

Cortier, Véronique ; Kremer, Steve ; Warinschi, Bogdan

Journal of automated reasoning, 2011-04, Vol.46 (3-4), p.225-259 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
8
Symbolic Methods in Computational Cryptography Proofs
Symbolic Methods in Computational Cryptography Proofs
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Symbolic Methods in Computational Cryptography Proofs

Barthe, Gilles ; Gregoire, Benjamin ; Jacomme, Charlie ; Kremer, Steve ; Strub, Pierre-Yves

2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 2019, p.136-13615

IEEE

Sem texto completo

Citações Citado por
9
An Extensive Formal Analysis of Multi-factor Authentication Protocols
An Extensive Formal Analysis of Multi-factor Authentication Protocols
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Extensive Formal Analysis of Multi-factor Authentication Protocols

Jacomme, Charlie ; Kremer, Steve

ACM transactions on privacy and security, 2021-02, Vol.24 (2), p.1-34 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por
10
On the semantics of communications when verifying equivalence properties
On the semantics of communications when verifying equivalence properties
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the semantics of communications when verifying equivalence properties

Babel, Kushal ; Cheval, Vincent ; Kremer, Steve

Journal of computer security, 2020-01, Vol.28 (1), p.71-127 [Periódico revisado por pares]

Amsterdam: IOS Press BV

Texto completo disponível

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 (28)
  2. Revistas revisadas por pares (24)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (40)
  2. Artigos  (20)
  3. Reports  (10)
  4. Livros  (4)
  5. Book Chapters  (3)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2006  (5)
  2. 2006Até2010  (8)
  3. 2011Até2013  (12)
  4. 2014Até2018  (25)
  5. Após 2018  (17)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (74)
  2. Francês  (3)
  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.