Find Jobs
Hire Freelancers

Modeling Program Vulnerabilities Using SMT

$10-30 USD

Complété
Publié il y a presque 5 ans

$10-30 USD

Payé lors de la livraison
Given a vulnerable program, Model the vulnerability (the length of the source of the data is greater than that of the destination data in the sprinf function) by starting with declaring with buf and error as strings. then leverage Z3 (Z3 theorem prover) to generate concrete inputs of buf to trigger this bug/vulnerability. Please mention your experience with cybersecurity, programming, and vulnerabilities.
N° de projet : 19188393

Concernant le projet

2 propositions
Projet à distance
Actif à il y a 5 ans

Cherchez-vous à gagner de l'argent ?

Avantages de faire une offre sur Freelancer

Fixez votre budget et vos délais
Soyez payé pour votre travail
Surlignez votre proposition
Il est gratuit de s'inscrire et de faire des offres sur des travaux
Décerné à :
Avatar de l'utilisateur
Hello, i have good experience in Cyber security and programming. contact me.........................................................................................................................................................................................
$55 USD en 5 jours
5,0 (16 commentaires)
4,1
4,1
2 freelances proposent en moyenne $153 USD pour ce travail
Avatar de l'utilisateur
Hey there, I have been in the Information Security arena for years. I had conducted tons of Computer Security related projects. Would you share more details? Regards.
$250 USD en 1 jour
5,0 (21 commentaires)
4,9
4,9

À propos du client

Drapeau de UNITED STATES
Dayton, United States
0,0
0
Méthode de paiement vérifiée
Membre depuis mars 18, 2019

Vérification du client

Merci ! Nous vous avons envoyé un lien par e-mail afin de réclamer votre crédit gratuit.
Une erreur a eu lieu lors de l'envoi de votre e-mail. Veuillez réessayer.
Utilisateurs enregistrés Total des travaux publiés
Freelancer ® is a registered Trademark of Freelancer Technology Pty Limited (ACN 142 189 759)
Copyright © 2024 Freelancer Technology Pty Limited (ACN 142 189 759)
Chargement de l'aperçu
Permission donnée pour la géolocalisation.
Votre session de connexion a expiré et vous avez été déconnecté. Veuillez vous connecter à nouveau.