Modeling Vulnerabilities Using SMT

$10-60 USD

Closed

Posted

about 5 years ago

$10-60 USD

Paid on delivery

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.

Project ID: 19248942

About the project

2 proposals

Remote project

Active 5 yrs ago

Looking to make some money?

Email address

Benefits of bidding on Freelancer

Set your budget and timeframe

Get paid for your work

Outline your proposal

It's free to sign up and bid on jobs

2 freelancers are bidding on average $91 USD for this job

@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 in 10 days

4.7

(3 reviews)

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 in 7 days