Modeling Vulnerabilities Using SMT

$10-60 USD

Cerrado

Publicado

hace alrededor de 5 años

$10-60 USD

Pagado a la entrega

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.

ID del proyecto: 19248942

Información sobre el proyecto

2 propuestas

Proyecto remoto

Activo hace 5 años

¿Buscas ganar dinero?

Dirección de email

Beneficios de presentar ofertas en Freelancer

Fija tu plazo y presupuesto

Cobra por tu trabajo

Describe tu propuesta

Es gratis registrarse y presentar ofertas en los trabajos

2 freelancers están ofertando un promedio de $91 USD por este trabajo

@braincenter

I DO NOT OUTSOURCE I have been a freelancer for the past 8 years, I believe that my experience and skill in this background will prove to be of great help to you. Contact me to discuss more on the details

$123 USD en 10 días

4,7

(3 comentarios)

3,8

@hasanmahmud448

Dear Honorable Sir, At first take my sincere respect. I have gone though your project description, I`m able to understand that the enough skill to do the project. Here is some in information about why I`m best candidate the project. Over the last Four years I have been doing Computer network/security, Vulnerability Assessment. Job as a freelancer at offline & online market place in private company. Looking forward to hear from you soon. Thanks Sincerely Md Hasan Mahmud

$58 USD en 7 días