skip to main content
Idioma:
Refinado por: Base de dados/Biblioteca: ACM Digital Library remover tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal verification of information flow security for a simple arm-based separation kernel
Formal verification of information flow security for a simple arm-based separation kernel
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Formal verification of information flow security for a simple arm-based separation kernel

Dam, Mads ; Guanciale, Roberto ; Khakpour, Narges ; Nemati, Hamed ; Schwarz, Oliver

Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security, 2013, p.223-234

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
2
Scalable and efficient provable data possession
Scalable and efficient provable data possession
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Scalable and efficient provable data possession

Ateniese, Giuseppe ; Di Pietro, Roberto ; Mancini, Luigi V. ; Tsudik, Gene

Proceedings of the 4th international conference on Security and privacy in communication netowrks, 2008, p.1-10

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
3
Efficient integrity checking of untrusted network storage
Efficient integrity checking of untrusted network storage
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Efficient integrity checking of untrusted network storage

Heitzmann, Alexander ; Palazzi, Bernardo ; Papamanthou, Charalampos ; Tamassia, Roberto

Proceedings of the 4th ACM international workshop on Storage security and survivability, 2008, p.43-54

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
4
A low-cost sensor platform for large-scale wideband spectrum monitoring
A low-cost sensor platform for large-scale wideband spectrum monitoring
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A low-cost sensor platform for large-scale wideband spectrum monitoring

Calvo-Palomino, Roberto ; Pfammatter, Damian ; Giustiniano, Domenico ; Lenders, Vincent

Proceedings of the 14th International Conference on Information Processing in Sensor Networks, 2015, p.396-397

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
5
Mechanisms for specifying communication behavior in object oriented database systems
Mechanisms for specifying communication behavior in object oriented database systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Mechanisms for specifying communication behavior in object oriented database systems

Pires, Paulo F. ; Benevides, Mário Roberto F. ; Mattoso, Marta Oppenheim, Dave ; Haddad, Hisham ; Damiani, Ernesto ; Carroll, Janice

Proceedings of the 2000 ACM symposium on Applied computing - Volume 1, 2000, p.389-397

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
6
Difficult queuing simulation problems: rare-event simulation for infinite server queues
Difficult queuing simulation problems: rare-event simulation for infinite server queues
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Difficult queuing simulation problems: rare-event simulation for infinite server queues

Szechtman, Roberto ; Glynn, Peter W.

Proceedings of the 34th conference on Winter simulation: exploring new frontiers, 2002, p.416-423

Winter Simulation Conference

Texto completo disponível

Citações Citado por
7
Constrained Monte Carlo and the method of control variates
Constrained Monte Carlo and the method of control variates
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Constrained Monte Carlo and the method of control variates

Szechtman, Roberto ; Glynn, Peter W.

Proceedings of the 33nd conference on Winter simulation, 2001, p.394-400

Washington, DC, USA: IEEE Computer Society

Texto completo disponível

Citações Citado por
8
Provable data possession at untrusted stores
Provable data possession at untrusted stores
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Provable data possession at untrusted stores

Ateniese, Giuseppe ; Burns, Randal ; Curtmola, Reza ; Herring, Joseph ; Kissner, Lea ; Peterson, Zachary ; Song, Dawn

Conference on Computer and Communications Security: Proceedings of the 14th ACM conference on Computer and communications security; 28-31 Oct. 2007, 2007, p.598-609

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
9
Electro-magnetic analysis of GPU-based AES implementation
Electro-magnetic analysis of GPU-based AES implementation
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Electro-magnetic analysis of GPU-based AES implementation

Gao, Yiwen ; Zhang, Hailong ; Cheng, Wei ; Zhou, Yongbin ; Cao, Yuchen

Proceedings of the 55th Annual Design Automation Conference, 2018, p.1-6

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
10
On the automorphism groups of strongly regular graphs I
On the automorphism groups of strongly regular graphs I
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

On the automorphism groups of strongly regular graphs I

Babai, László

Proceedings of the 5th conference on Innovations in theoretical computer science, 2014, p.359-368

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

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

Buscando em bases de dados remotas. Favor aguardar.