skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Open Access: Freely Accessible Journals by multiple vendors remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Synthetic Data Aided Federated Learning Using Foundation Models
Synthetic Data Aided Federated Learning Using Foundation Models
Material Type:
Artigo 		Adicionar ao Meu Espaço

Synthetic Data Aided Federated Learning Using Foundation Models

Abacha, Fatima ; Teo, Sin G ; Cordeiro, Lucas C ; Mustafa, Mustafa A

arXiv.org, 2024-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
2
Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification
Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification
Material Type:
Artigo 		Adicionar ao Meu Espaço

Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification

Alhawi, Omar M ; Mustafa, Mustafa A ; Cordeiro, Lucas C

arXiv.org, 2019-10

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
3
Verifying Software Vulnerabilities in IoT Cryptographic Protocols
Verifying Software Vulnerabilities in IoT Cryptographic Protocols
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verifying Software Vulnerabilities in IoT Cryptographic Protocols

Aljaafari, Fatimah ; Cordeiro, Lucas C ; Mustafa, Mustafa A

arXiv.org, 2020-01

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs

Aljaafari, Fatimah K ; Menezes, Rafael ; Manino, Edoardo ; Shmarov, Fedor ; Mustafa, Mustafa A ; Cordeiro, Lucas C

arXiv.org, 2022-10

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
5
Finding Security Vulnerabilities in IoT Cryptographic Protocol and Concurrent Implementations
Finding Security Vulnerabilities in IoT Cryptographic Protocol and Concurrent Implementations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Finding Security Vulnerabilities in IoT Cryptographic Protocol and Concurrent Implementations

Aljaafari, Fatimah ; Menezes, Rafael ; Mustafa, Mustafa A ; Cordeiro, Lucas C

arXiv.org, 2021-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing
FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing
Material Type:
Artigo 		Adicionar ao Meu Espaço

FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing

Alshmrany, Kaled M ; Aldughaim, Mohannad ; Bhayat, Ahmed ; Cordeiro, Lucas C

arXiv.org, 2021-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis
FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis
Material Type:
Artigo 		Adicionar ao Meu Espaço

FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis

Alshmrany, Kaled M ; Aldughaim, Mohannad ; Bhayat, Ahmed ; Cordeiro, Lucas C

arXiv.org, 2024-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning
FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning
Material Type:
Artigo 		Adicionar ao Meu Espaço

FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning

Alshmrany, Kaled M ; Aldughaim, Mohannad ; Wei, Chenfeng ; Sweet, Tom ; Allmendinger, Richard ; Cordeiro, Lucas C

arXiv.org, 2024-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs

Alshmrany, Kaled M ; Menezes, Rafael S ; Gadelha, Mikhail R ; Cordeiro, Lucas C

arXiv.org, 2020-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
Counterexample Guided Inductive Optimization
Counterexample Guided Inductive Optimization
Material Type:
Artigo 		Adicionar ao Meu Espaço

Counterexample Guided Inductive Optimization

Araujo, Rodrigo F ; Albuquerque, Higo F ; de Bessa, Iury V ; Cordeiro, Lucas C ; Filho, Joao Edgar C

arXiv.org, 2017-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por

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

Buscando em bases de dados remotas. Favor aguardar.